On Sat, May 14, 2022 at 3:33 AM Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> This seems fine, but I think you should add a non-trivial comment about it.
Thanks for looking. Done, and pushed. Let's see if 180s per query is enough...