Tim Hoffmann - 2012-09-20

The HTML conversion is currently not developed any further. There has been a discussion to switch to tex4ht.