Robert Haas <robertmhaas(at)gmail(dot)com> writes:
> On Tue, Sep 12, 2017 at 9:58 AM, Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> wrote:
>> Did anything happen on this, or did we just forget it completely?
> I forgot it. :-(
> I really think we should fix this.
+1. You've got the rest of the week ...
regards, tom lane