Create web/text/encoding/formats section and add a simple html_unescape function.