doc: prettyfy the texi2html documentation