David Fetter <david@fetter.org> writes:
> On Mon, Feb 12, 2018 at 04:19:48PM -0500, Tom Lane wrote:
>> As I've remarked before, the issue would disappear if we were to
>> back-patch the XML-ization of the documentation. So I'd be fine
>> with this if we did it uniformly in the supported branches. Otherwise
>> I think the costs outweigh the benefits.
> +1 for back-patching.
> Are there scripts for (at least the first cut of) this?
IIRC, Peter said basically that it was more work than he cared to tackle,
which I guess means that there was significant manual effort involved.
The most practical answer might be to wait a few years till all the live
branches use XML, and then we can do the renaming in all branches
trivially. Perhaps finishing the XML conversion in v10 would be cheap
enough that it'd be worth doing that to shave one year off the wait.
regards, tom lane