Personal thanks: in search of more horizontal space I installed it, and it does the trick nicely. I installed the "fixed" variant because I don’t want ligatures

Personal thanks: in search of more horizontal space I installed it, and it does the trick nicely. I installed the "fixed" variant because I don’t want ligatures in the terminal. This is a sophisticated font with many variants, stylistic options, and compendious Unicode coverage.