On 2020-03-20 01:11, Alvaro Herrera wrote:
> I gave this a look. I first reformatted it so I could read it; that's
> 0001. Second I changed all the long <link> items into <xref>s, which
> are shorter and don't have to repeat the title of the refered to page.
> (Of course, this changes the link to be in the same style as every other
> link in our documentation; some people don't like it. But it's our
> style.)
AFAICT, all the <link> elements in this patch should be changed to <xref>.
If there is something undesirable about the output style, we can change
that, but it's not this patch's job to make up its own rules.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services