[simonw]

That line may have been removed from Grok 3 but it looks like it's still in Grok 4: https://grok.com/share/bGVnYWN5_fb5f16af-9590-4880-9d96-5857...