[Heyman] Ex-Marlins GM Michael Hill pulled his name out of consideration for the Astros’ GM job. He’s happy working as an executive at the MLB headquarters.