> On 2 Sep 2020, at 18:43, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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