/info/knuth-hint/hitex/
../
hitex.hnt