The HTML papers are kind of useless in the distribution proper.
 [rsc] --rw-rw-r-- M 1250499 rsc sys 55272 Jan 25 18:56 sys/doc/venti/venti.html