[PATCH] HTML export patches

[Dirk Hohndel]

On Mon, Aug 04, 2014 at 07:56:12PM +0300, Miika Turkia wrote:
> Here are the latest patches for HTML export.
> 
> 0008-HTML-Make-export-statistics-optional.patch modifies the GUI (and
> strings) so user manual will need a new screenshot when that is included
> and one string to be translated. In any case, this patch set should work
> properly with or without the 0008.

I'll skip 0008 - the rest looks sane and harmless :-)

/D