Interesting! If Knuth is not the original author then they’ve been lost to the sands of time