Board Thread:General Discussion/@comment-9605025-20180718213256/@comment-9605025-20180719010651

Interesting. How recently was that change made? It would have had to have been within the last two years since the wiki didn't exist before that. - Edit:

Hang on, what about this wiki? Based on the history of its main page, it was started at the end of June 2018. Yet, if you look at the interwiki map via the API, that particular prefix is still there (entry #46). Indeed, if you try to use it, it still works.