Bet their internal "tips team" used an LLM to generate "useful tips" for their coding agent system ;)