@GossiTheDog I am absolutely lost trying to understand where VS Code (or Codium, for that matter) gets its extensions from and how to check which version was installed when from which source.

BTW: I prefer text editors with a small attack surface ...