Remove redirected file from navbar
The page was deleted in gitlab!78091 (merged) and was added back with a redirect in gitlab!78210 (merged).
We don't need to provide an alternative, since it redirects to an existing page.
The page was deleted in gitlab!78091 (merged) and was added back with a redirect in gitlab!78210 (merged).
We don't need to provide an alternative, since it redirects to an existing page.