Delete knuth.js~