The text 650215e3f47e, as Debian 3.1 (Sarge) shipped it.
build external index for noweb document
noindex(1) on Linux now
