An XSLT for transforming HTML-exported Google Docs into Manning DocBook format