How to export Grok
Path
~/.grok/trace-exports/<id>.tar.gz
Command
/export
Run /export in the Grok session. Drop the new .tar.gz. Not the raw chat_history.jsonl.
Drop the file on the home page. Bytes stay in the tab. Refresh forgets it. Ctrl+F is search.