Changelog:
* HTML export fixes.