Just noticed we've got a bunch of *wiki* tags: wiki and mediawiki: makes sense to keep them both, as the first will be used to ask for "any wiki" – while the second fits e.g. requests concerning mediawiki extensions wikivoyage: seems to make sense taking a look at the questions using it: pretty...