Re: [PATCH] docs: page.xsl: Improve generation of paragraph anchor links