We should remove the IDE and stop trying to maintain it since VSCode support is now available with our extension.
We should remove the IDE and stop trying to maintain it since VSCode support is now available with our extension.