Honestly, I work mostly in Java, and almost never see anything that has to be lined up based on character width. So I turned off mono long ago and just use the

Honestly, I work mostly in Java, and almost never see anything that has to be lined up based on character width. So I turned off mono long ago and just use the best font I can find, not some mono variant.