/info/knuth-hint/errata/