removed package html. Only used by latex2html