lopleec /VSCode-minecraft-workbenchTypeScript16023A VSCode Extensions that can download and launch Minecraft.