There are currently 113 questions tagged minecraft-redstone and all but one of them are also tagged minecraft. The other, is additionally tagged with minecraft-xbox.
Should every question tagged with minecraft-redstone automatically be tagged with minecraft?
If yes, should minecraft-redstone be removed as superfluous?
EDIT: What about removing the minecraft tag from those questions?
The crux of my question is: should both tags be required in order to identify the question?
The fact that two tags exclusively occur together does not make the less numerous one inherently superfluous.
Tags are used to represent domains of knowledge, and knowledge of general Minecraft and knowledge of redstone circuits are quite distinct. (Redstone circuits are more akin to electrical engineering than the mining or crafting that takes priority in the rest of the game).
All we are able to do is work within the confines of the existing tag system, so for the time being, tagging both minecraft and minecraft-redstone are the best we can do.
