HTML5 doctype for Tidy HTML minifier

Enabling the HTML minifying uses Tidy’s default doctype. It’d like to change this to the HTML5 doctype. I can add this as an option manually to Minify_HTMLTidy::minify like this:

‘doctype’ => ‘html5’

But I’d prefer not to change the plugin source. Could either:

• html5 be the default for everyone
• there be a doctype option in W3TC’s HTML minifier settings
• there be WordPress filter for the minifier options

Thanks.

http://wordpress.org/extend/plugins/w3-total-cache/