From pixels to characters: The engineering behind GitHub Copilot CLI’s animated ASCII banner — Blankdot