I am curious just how many people would notice that (or the usage of the microtype package vs without).
I know of one professor in my college who dabbled in typography and was usually spot on when it came to something like this but I’ve never heard the others talk about it.