[PATCH 1/9] docs: site: Don't generate '<?xml' header for HTML documents