From pixels to characters: The engineering behind Copilot CLI's animated banner (github.blog)