Hmm, yeah, I guess a long time ago some screens did tend to end up with the “generic plug-and-play monitor” driver and have it not know what the true resolution should be. I’d forgotten about that, not having seen it happen for at least ten years.