Maybe make the comment a bit more generic and take out Grok-specific issue number.