It's worth noting that the bad rendering occurs outside the Terminal application as well, such as in the window manager's font picker.
It's worth noting that the bad rendering occurs outside the Terminal application as well, such as in the window manager's font picker.