Daniel Gustafsson <[email protected]> writes: > On 1 Jul 2024, at 13:09, Joel Jacobson <[email protected]> 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
