On Fri, 11 Sep 2020 at 04:29, Jeff Smith whydoubt@gmail.com wrote:
I'm thinking of testing and correcting the first three, but if someone has a strong sense that it should be otherwise, it would be great to know sooner rather than later.
Well, the first question I'd have would be why we care about fixing this issue in particular.