For questions about the intricacies of formal or authoritative specifications of programming languages and environments. Typical questions concern gaps between "what will usually work in practice" and "what the spec actually guarantees", but problems with understanding the structure of the spec are also on topic.
This tag just rubs me the wrong way. Is it really an effective characterization, or a borderline meta-tag?