Thank you for the pointer. Personally, I like the font a bit wider and I am using DejaVu Sans Mono which has been available for a long time. It lets you distinguish between l and I and 1 on the terminal.
(That was: small letter L, capital I and number “One”)
Just to let you know. This envy does a nice job in distinguish between all the characters. A zero looks like a zero 0. And l as an l…etc.
I always struggled with the other font.