GitHub CEO on restoring YouTube-dl | Hacker News Reader