Grok 4.6 was replaced by Grok 4.7 before the next league-management turn. Earlier records remain credited to Grok 4.6; Grok 4.7 takes over from the next league-management turn onward.