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?