On Wed, Dec 2, 2020 at 5:26 PM Bruce Momjian <bruce@momjian.us> wrote:
I think the ideal solution is to create a section for all the rename cases and do all the redirects to that page. The page would list the old and new name for each item, and would link to the section for each new item.
Nothing prevents us from doing that for simple renames. For me, this situation is not a simple rename and the proposed solution is appropriate for what it is - changing the implementation details of an existing feature. We can do both - though the simple rename page doesn't seem particularly appealing at first glance.