So I've run into a number of redlinks that are for custom pages by users that are no longer active. On top of that, some of their pages are protected so that they can't be edited, making it impossible to remove said redlinks. Anyone have any thoughts on how we might remedy this?