Board Thread:Support Requests - Designing Your Wiki/@comment-36541110-20200402173027/@comment-9605025-20200402183327

That is a custom namespace. You will need to and ask them to add it to your wiki. - Edit:

That said, I don't see why they couldn't have just used the category pages for this. They have so few portals anyways.