flagging redundant disambiguations

[kohlhase]

The sTeX linter warns about ambiguous symbol references. It should also info about redundant disambiguations, e.g. \sn{foo?bar} where \sn{bar} would already have been unambiguous.

Getting rid of redundant disambiguations makes the sTeX code more maintainable and should be supported by the IDE.