On Mon, 2020-01-20 at 17:13 -0500, Bruce Momjian wrote: > Well, I am renaming the documentation label for the feature. Is that > different than wording? I guess I can see that. If everyone agrees I > can revert the backpatch, but I don't want to do that if other people > are going to say this should be backpatched.
I for one think that it should be backpatched, as long as the old link keeps working. Yours, Laurenz Albe