re: #739 HappyWarrior

I do wonder about that too. That was a good observation.

Time to break out ‘No True Scotsman!’, I suppose.