Thomas Schouten

Yes, this is a difficult one. Basically, LaTeX knows whether to look for a parameter based on the environment definition, but we don't, and definitely not at lexer level. Maybe...

Was this issue fixed after you fixed the permissions as discussed it #3629 ?

Thanks for reporting! This is a duplicate of #3585.

Thanks for the suggestion, but when would you expect this update check to happen? If I think about Gradle or other languages, IntelliJ will highlight the usage of a package...

Yeah I think if it's a system package installation we should not try to update because it will be updated with the regular system update process. However, I would always...