In another life, this would’ve greatly disappointed me, but John Warnock is dead, and so is PostScript, I guess. https://eclecticlight.co/2023/09/25/postscripts-sudden-death-in-sonoma/

If I were still working, this probably would’ve meant a surge in business, since I’ve been speaking PS for nearly 30 years, and had handy bits of code to do things like convert Type 1 fonts to and from TrueType and such that would be handy for those dependent on PostScript, but at this point, the signs have been pretty clear for a decade. Ah well.