Is it possible to update the documentation to include any new config options added by the html5 patch? Is there a "output-html5: yes" or is this patch just to stop tidy from removing html5 elements that it couldn't recognize before?