What I find truly ironic is how CRT shaders work best on a 4k display with good HDR performance.

4k lets you scale the image and insert scanlines without scaling artifacts and with enough extra pixels to make the scanlines feel properly soft.

HDR lets the shader compensate for the brightness lost to the CRT filter without desaturating the color.

While HDR is used to reproduce micro-patterns in brightness in such a configuration, I think CRTs would have been capable of HDR with appropriate control electronics since HDR requirements are basically: pixels can individually be set to very close to black and also to "pretty bright".