Right now there are two tags for questions about **inner model theory**: [inner-models](http://mathoverflow.net/questions/tagged/inner-models) and [inner-model-theory](http://mathoverflow.net/questions/tagged/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.