Right now there are two tags for questions about **inner model theory**: [tag:inner-models] and [tag:inner-model-theory]. I can't see any difference in the type of questions being asked under these two tags. Should they be merged or made synonymous?

Relatedly, neither tag has a tag wiki yet. I'd be happy to write an initial one once this is settled.