> A pixel, back then, was a time interval. [...] the timings could be adjusted which produced logical pixels of different sizes.

If only I understood that while configuring X in the mid-1990's. I managed to figure it out about a decade after CRTs became obsolete!