preserve ENCODING in text2rss() while decoding characters encoded by
latex2html