Sun Jan 31 01:16:11 CET 2021

Because excess spaces are stripped when processing inline formatting,
there *is* actually more than one way to do it, currently.  It doesn't
matter too much, but I'd like to fix it eventually.