Thread:LordKelvinX2086/@comment-32402578-20180622190446/@comment-33084951-20180624190814

Regular users can rename pages, but not delete them, only mark them for deletion. Deleting the redirect would leave red links behind anyway, since several of them are in old message posts that can't be edited by users, and those terms do get searched for and the redirect would still be very useful in that case.