I like the proportional font better, anyway. It's still plenty easy enough to notice the punctuation, and this way, the words look nicer. And there are plenty of words - each project has lots of comments and sample text.