Serious question.
Such compilations produce a ton of text messages. With any classic terminal, the text rendering in the terminal window becomes a bottleneck, slowing down the compilation very noticeably.
With modern terminals that use GPU text rendering, like ghostty and kitty, compilations are done much faster.
To see the difference between a slow terminal emulator, like you probably use, and a fast terminal emulator, you can do a "cat" from a text file of a few megabytes, and you will see the speed difference.
This still qualifies as cross-platform though. Cross-platform doesn't mean "all the platforms" or "all the platforms with the biggest market share in the segment of the application".
That's the one thing I always check first in a terminal because I have this pet project to run emulators in a terminal ;)
https://github.com/floooh/chipz-kitty
(works fine in Kitty and Ghostty, wezterm theoretically also supports the Kitty protocol but at some point just freezes)
If you need a GUI, just use a GUI.
Both might have thought 'If you are patient enough to tolerate a slower web based start menu, you are probably not a target market for a hardware accelerated terminal' :D
> Similarly, some monospaced font families are buggy and have bold or italic faces that have characters wider than the width of the normal face, these will also result in clipping. Such issues should be reported to the font developer. Monospaced font families must have all their characters rendered within a fixed width across all faces of the font, otherwise they aren't really monospaced.
But things aren't all equal--there are tradeoffs at play. Kitty's choice to treat monospace fonts as actually monospaced may not fit everyone, but it's a valid decision in this design space.