On Wed, Dec 2, 2020 at 5:26 PM Bruce Momjian <br...@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. David J.