Idea: Turn Knuth's 2022 Christmas lecture into a TeXmacs presentation

[amichail]

I suspect doing this might get his attention…

See his lecture here: https://www.youtube.com/watch?v=zg6YRqT4Duo