> 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. cheers ./daniel
