> On 2 Sep 2020, at 18:43, Tom Lane <tgl@sss.pgh.pa.us> 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