Comment by gbjcantab

True! Not my point, but a worthwhile terminological correction.