He uses the term in his non-typographer-oriented book about typography, so that would be a little surprising: https://practicaltypography.com/verdana-alternatives.html