Standard libraries included twice

[MikaelMayer]

Dafny version

latest-nightly

Code to produce this issue

// A.dfy. The dfyconfig.toml contains "standard-library=true"
module A {
  import Std;
}

// B.dfy
// That dfyconfig.toml contains "standard-library=true" and also include A.dfy
module B {
  import Std;
}

Command to run and resulting output

Try to verify in VSCode or CLI. Fail

What happened?

Complaints that FileIO is imported twice. It's not practical to not have the standard library on either project.

Current workaround: use import A.Std instead of import Std

What type of operating system are you experiencing the problem on?

Windows

[robin-aws]

The actual bug is simpler and more serious AFAICT: if I create a new project with a dfyconfig.toml file with standard-libraries = true and open the folder in the IDE, then change the project file (say adding a space), I get the same error.

Hovering over the [options] part reveals a strong clue:

I suspect that the LSP is adding the standard library doo files again on every update.