Nevertheless I would be interested in such thing, at least. I don't know if, you can ask Knuth and then other people can write it in case Knuth does not want to do so. --Zzo38 (talk) 07:29, 15 January 2018 (UTC)