A new Agda process is spawned for each file/tab

[ncfavier]

Steps to reproduce:

1. Run pkill agda.
2. Create an empty file named foo.agda, save and load.
3. Create an empty file named bar.agda, save and load.
4. Run pgrep -a agda and observe:

654177 /nix/store/awa06sk54w5s22bqvymn3pgbq3w2m7vs-Agda-2.7.0.1-bin/bin/agda --with-compiler=/nix/store/nd1hcy4wmvy23j2yshdakghwiwrgkcha-ghc-9.8.4-with-packages/bin/ghc --library-file=/nix/store/wkc5wq8vgbb7vp24yj7cbamx4irq19x1-libraries --interaction
654209 /nix/store/awa06sk54w5s22bqvymn3pgbq3w2m7vs-Agda-2.7.0.1-bin/bin/agda --with-compiler=/nix/store/nd1hcy4wmvy23j2yshdakghwiwrgkcha-ghc-9.8.4-with-packages/bin/ghc --library-file=/nix/store/wkc5wq8vgbb7vp24yj7cbamx4irq19x1-libraries --interaction

This is with Agda 2.7.0.1, VSCodium 1.101.24242, agda-mode-vscode 0.5.7, on NixOS unstable.

[ncfavier]

Bisected to 6278a01

[banacorn]

OMG I think I've been doing this since 2014!
Can we actually let all Agda files share a single agda process !!?

[ncfavier]

Well, that was the case before 6278a01.