What we're hearing about Mets' offseason priorities: Pitching is paramount