On Sat, 2011-08-20 at 13:00 +0300, Harri Pitkänen wrote: > A few cleanups and removal of HTML 3.2 from HTML export options. In case HTML > 3.2 has been previously selected as the HTML variant it will be converted to > Netscape Navigator. Marking that these got pushed back on Aug 13th by Tor. C.