> On Apr 17, 2019, at 1:56 PM, Elias N Vasylenko <el...@vasylenko.uk> wrote: > . . . > One more very minor point against the box-of-quotes: believe it or not > there is a small-but-non-empty set of people who prefer programming > with proportional fonts, no matter how perverse that may seem to the > rest of us. They wouldn't appreciate this feature!
Touché.
