re: #378 Charles

This comment was pretty funny:

No time to address any of these points now (will do so later if warranted), but just a note that it would be helpful if you would obtain an editor account. You have made three attempts at this addition via three different IP addresses so far. It’s easier to discuss matters like this with a single personality.