Board Thread:Wiki/@comment-29900084-20170510023212/@comment-1327106-20170510023724

It should, but the people who run the wiki are humans and not instantly aware of everything. Now that you've pointed it out, it will likely be handled shortly. Anyone can edit the wiki (unless a page has to be locked down due to abuse), so if you're savvy enough you can even fix it yourself.