Proving sdocs.dev is running the public code | Hacker News Reader