linter does not pick up \inlineass[name=

[kohlhase]

in e.g. smglom/functional-analysis/source/mod/inner-product-space.en.tex:

what is worse, it even seems to mess with perfectly good \definames (in the last line of smglom/logic/source/mod/derivation-relation.en.tex:)

[Jazzpirate]

I don't understand the problem...? Clearly the \inlineasses are being picked up on, given that they're all semantically highlighted?

what is worse, it even seems to mess with perfectly good \definames

I don't understand what's being messed with here either...

Note however that [name=... declares a new symbol by that name, since I see both \symdecl*{conjugate symmetry} and \inlineass[name=conjugate symmetry] in the first screenshot, where the latter overrides the former

[kohlhase]

OK, probably my fault.