That's true, but if the use case is to display text and to optimize keyboard navigation, then the added complexity of a GUI might be unnecessary. Variable wid

That's true, but if the use case is to display text and to optimize keyboard navigation, then the added complexity of a GUI might be unnecessary. Variable width fonts and style sheets are nice, though.