... BTW, shouldn'thttps://commitfest.postgresql.org/42/3869/now get closed as committed?
regards, tom lane