> There's a reason why developers have voted en-masse to avoid proportional fonts, and it's not because we are nostalgic for typewriters.

This is sad in itself. Proportional fonts are vastly superior to type writer fonts in presenting code. The kerning even makes for better readability even if it comes at the expense of the ability to do ASCII art.