In Sunday’s 7-3 win over the Pittsburgh Pirates, four Mets pitchers combined to tie the Major League record by striking out 20 batters in a nine-inning game. While that ended up being a footnote to…