Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> writes:
> Tom Lane wrote:
>> I thought renaming them was a better idea, actually.
> Here is a patch for that. I will apply this to HEAD later today.
Looks ok in a quick eyeball pass.
regards, tom lane