* Module knuth: +.web+ files are put below +TDS:web/knuth//+.