/info/knuth-hint/tie/
../
tie-changes.hnt
tie.hnt