doc/: Use HTML5 instead of XHTML1.1 for HTML manpages.