Board Thread:General Discussion/@comment-3150645-20181221150741/@comment-1038387-20181221155849

It's not really a problem. A fix for a broken redirect has existed for just as long as redirects have existed.

Click edit, change the link to the new pagename. Or delete the redirect, if the target was deleted.