of2.tex: relocated tribars
of.tex: toc9 -> toc8

1. toc9 is now ignored by \@utno in index.tex
2. \wverb\auxf"\iverb\tocf|\bigbreak|" % \bigbreak in the toc