Jerry Hook leaves Halo Infinite and Microsoft

Lead designer for Halo Infinite thanks the gaming industry during departure.