Shortly after cutlisting this, I figured out how to edit a page that was already a redirect, so it's no longer blocking the main/administrivia redirection.
I think it probably ought to be deleted anyway since it's just a never-used redirect. But it's no longer creating a problem.
Shortly after cutlisting this, I figured out how to edit a page that was already a redirect, so it's no longer blocking the main/administrivia redirection.
I think it probably ought to be deleted anyway since it's just a never-used redirect. But it's no longer creating a problem.