@richardcarter What a great find! And people are tremendously good at categorizing things, aren't we?