Mets Morning News: Happy extra innings ending

What happened

Your Wednesday morning dose of Mets and Major League Baseball news, notes, and links.

Summary assembled by rule from the sources below

Sources