Whoops, you’re right! I read the article and then some comments that were (I see now) tangentially related. Stuff got jumbled up, and I confidently posted something incorrect.