Daniel Gustafsson <daniel(at)yesql(dot)se> writes:
> On 1 Jul 2024, at 13:09, Joel Jacobson <joel(at)compiler(dot)org> wrote:
>> However, I think David J had another good argument:
>> "If we are making wikipedia our authority we might as well use their standard for naming."
> It's a moving target, but so is most if not all links.
I see nothing wrong with this patch, so pushed.
regards, tom lane