What's the difference between this and idris-vscode

[parched]

I'm just starting with Idris and it's unclear to me if I should use this extension or https://github.com/meraymond2/idris-vscode. Perhaps the README could highlight the differences?

[srghma]

meraymond2/idris-vscode#75

---

https://github.com/meraymond2/idris-vscode - is using idris1/2 (?) ide mode (wrapper is https://github.com/meraymond2/idris-ide-client )

https://github.com/bamboo/idris2-lsp-vscode and https://github.com/ShinKage/idris2-nvim use https://github.com/idris-community/idris2-lsp

many commands are missing in https://github.com/bamboo/idris2-lsp-vscode but present in https://github.com/meraymond2/idris-vscode, e.g. show list of all metavariables in a current file