Re: docs-xml-tags.patch