The Codex TUI has a similar bug where a useless animation costs way too many resources, but it's definitely a different area of code. It was originally redrawing the entire TUI screen every 32ms. That one has a Codex-created fix, but user PR's aren't considered anymore. It was originally memory leaking 20GB (!) over 2-3 days