https://www.techfleb.fr/posts/rpi-pico-vscode-extension/