Thread:Whiteknight810210/@comment-4738647-20200326180106/@comment-265082-20200327003048

Right those should not have been deleted.

For the most part there is no reason/benefit in deleting redirects.