Daniel Gustafsson <daniel@yesql.se> writes:
> On 1 Jul 2024, at 13:09, Joel Jacobson <joel@compiler.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