On 2020-12-28 8:39 a.m., Bart Schaefer wrote:
Ah! So it really is rigorously necessary. Yes, that's just as it should be, I'm sloppily ignoring the spaces and there's can't be a space.Line continuation does not remove leading spaces from the following line.
Thanks both.