And yet, as I mentioned in my original post, I've been coding and using the shell etc. for decades and never ran into that problem in practice. I would bet tha

And yet, as I mentioned in my original post, I've been coding and using the shell etc. for decades and never ran into that problem in practice. I would bet that more production time has been wasted on a global scale with discussions about and fiddling with font options than with a wrong l, I, 1, | in a place where it shouldn't be.