Wonderful, thank you! While I've got you, let me put in a word for proportional font support if you don't already have it. Proportional fonts are another thing

Wonderful, thank you! While I've got you, let me put in a word for proportional font support if you don't already have it. Proportional fonts are another thing that make it easier for me to read code. Would be happy to chat with you about any of this stuff - contact info is in my HN profile.