⚓ T5311 Automatic category redirects

instead of changing the indexes for every member pages of a redirected category, couldn't there exist an index within target categories for listing the other category names that are redirected to it?
In that case, listing the content of the category would list all pages of the target category and of the source redirected categories, merged into a single list to sort.
This could however have an impact on performance if there are many redirected categories to list.

Note that the source category would still list their specific members (but to view them you have to visit these redirected categoties with redirect=no) which remain nidexed there and still need maintenance (using a job queue, or probably still preferably by using some auhtorized bots that may be paced down and will not run before the new redirect is accepted and not reverted) on all member pages to empty the contents of the redirected categories.

Note that most often, the redirected categories just come from an edit to rename it, while preserving its description and edit history into the new target category; however the member pages are still not recategorized. For this reason, renaming a category should still not create a new category with the old name but just the "#REDIRECT". it should better create by default a new category with a template showing a soft redirect by default, so that its members are still vieable in a single click, even if they are also listed in the merge list shown when viewing the target category.

Adding a hard redirect before the soft redirect template in the category description page should better delayed.

Or if possible, the #REDIRECT in a category should not be immediately followed when visiting it via any link on any page as long as it's not empty. (this does not require any edit on many articles and no change in the indexes on the database, just a small patch in MediaWiki to provide better navigation)