Currently formal-semantics seems to be about 20% questions about the rigorous mathematical sense of semantics, and 80% questions about a specific language where the asker is concerned with correctly interpreting the language specification or reference.
I'm tempted to manually retag the second category with language-lawyer, but I'm not sure.
The tag wiki starts out pretty clear:
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.
Okay, sure, "mathematical" might not be the right word for whether copying an unintialized pointer counts as "access" for the purpose of alias analysis, but the second sentence elaborates:
It does so by evaluating the meaning of syntactically legal strings defined by a specific programming language, showing the computation involved.
The C spec definitely defines what it means for code to be syntactically legal, and also defines meaning in terms of computation performed by the abstract machine. Are questions about the interpretation of the C standard on-topic? (There is no such question in the tag now.) Is a question about method resolution in Rust? Is a formal introduction to Bash as a programming language? Block scope in ECMAScript? These are the highest voted questions in the tag.
Should the tag wiki be edited to exclude such questions, and the existing ones retagged / untagged? Or does usage dominate: should we accept that formal-semantics is applicable to questions such as the above, and make it a synonym for language-lawyer (or some other tag that's even better)?
that seems like a clear indication that the tags are in fact synonyms
-- is a non-sequitur.