Prompts for our Grok chat assistant and the @grok bot on X.