Rewrite abuse of <DL>/<DT> to simpler markup
Sanitize HTML using (a lot of) JavaScript

The result is almost valid HTML5, but needs more work.