Optionally use <https://github.com/bbcarchdev/docbook-html5> for generating (X)HTML