On 2022-05-12 11:38:39 -0700, Andres Freund wrote:
> On 2022-05-12 13:18:05 -0400, Tom Lane wrote:
> > Andres Freund <andres@anarazel.de> writes:
> > > I think the attached patches are all a good idea and trivial enought that I
> > > think we should apply them now.
> >
> > +1 to all of that.
>
> Cool.
Pushed them.