OpenChoreo: An open-source internal developer platform that does not hide K8s | Hacker News Reader