The Astros are searching for a new manager.