How to export Grok to pdf [video] | Hacker News Reader