Patch kindly provided by J. Lewis Muir Changes include: - a huge pile of bugfixes - support for more latex packages (cleverref, comment,...) - html 5.0 output