`.iml` files sometimes blocked from the File Explorer in VS Code / Cursor

[grantpassmore]

From @wintersteiger and Hongyu's investigations, it may be workspace specific. Hongyu asked a good question:

hongyu
  can this be detected by the ImandraX extension and maybe show a popup to the user?

Maybe worth considering. Also, if this happens to be because of clashes with .iml being blocked from other projects which use the same extension (Android Studio / IntelliJ, etc.), perhaps we should also support .imandra or some good alternative?

[wintersteiger]

TBH, I'm against popup notifications. There are hundreds of settings and hundreds of extensions that could interfere with what we think is the "correct" way to work, and we can't start popping up notifications every time somebody doesn't work "our way". For example, some users may actively want to hide iml files if they are intermediate files generated by some toolchain. It would be annoying and not helpful to them if we popped up a notification every time they open VS Code.

My position is: if the user thinks something doesn't display they want it, they have to adjust their settings (as opposed to us changing settings for them). Indeed, in this particular instance, that would have solved the issue first try; @hon-gyu just assumed that it must be a problem with the extension before checking their settings.

You're right about the extension though, we should consider supporting .imandra or .imandrax. It's a little bit tricky because there are multiple places across multiple repos to change, but I think it's worth doing. (Note: module resolution might have to throw errors if more than one file matches.)

[grantpassmore]

Great points!