The engineering behind GitHub Copilot CLI's animated ASCII banner | Hacker News Reader