I would like to know what font are people using for coding. I have
tried a bunch of different ones, and it always seems to have some bad
corner. This last one I am using makes it difficult to distinguish
braces "{" from parentheses "(". Bad news for coding.