Oh, this gives me the severe ick. I use platformio for the quick toolchain set-up for small prototypes, but it's not the only solution to get vscode working with micros.

Not against projects monetising, but this doesn't look like a nice way to go about it.