On 2020-Oct-15, Alvaro Herrera wrote:
> Pushed, thanks.
I forgot to mention that I considered backpatching this and decided not
to, but only because it might confuse packagers if they see unrecognized
files in the installation. I realize now that c3a0818460a8 was
back-patched. Any opinions on backpatching?