Serialization

The default HTML version (when not explicitly specified using the version or html-version serialization properties) is now HTML5.