Daniel Gustafsson <[email protected]> writes: >> On 2 Sep 2020, at 18:43, Tom Lane <[email protected]> wrote: >> I took a stab at doing it that way, as attached. (I couldn't resist >> the temptation to do some minor editing on adjacent material, too.)
> LGTM. I didn't try to build the docs with this applied, but reading it I
> can't
> see anything odd about the markup.
Hearing no other comments, pushed.
regards, tom lane
