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