Delete knuth2.js~