On Fri, 3 Jul 2020, Peter Stephenson wrote:
The doc was just to record the fact that I didn't treat a "-" as "-0"
Yeah, you pretty much did exactly what I was suggesting, except that I didn't see the patch because gmail is rejecting mailing list forwards from ntlworld.