On Sat, 18 Jun 2022, Peter J. Holzer wrote: > There is a comma (U+002C) here ... > And a dot (U+002E) here. That was a typo when I wrote the message. And I usually add a space after commas and surrounding equal signs, all for easier reading. Thank you, Rich