Category:Redirects to portal space

Pseudo-namespace redirects and cross-namespace redirects are helpful for creating shortcuts. It is not necessary to replace these redirected links with piped links.