String reboot - (1a) incidental whitespace

[Guy Steele]

> On Apr 17, 2019, at 1:56 PM, Elias N Vasylenko <elias at 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é.