Remove obsolete documentation.
HTML fix, courtesy of Olivier Mengué.