> On 10 Aug 2022, at 15:41, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> I feel we could do better still, as in the attached.
+1, LGTM.
--Daniel Gustafsson https://vmware.com/