Knuth's published errata
