Is the doc bot docs, or not?

📅 2025-07-09    ⚓ Hacker News    🌐 Source    🖼️ Load Image