https://www.raspberrypi.org/forums/viewtopic.php?f=63&;t=301068
> Didn't know we did that, but the reason will be because VSCode is the recommended IDE for the new Pico product
> and this makes it easier for people to download it if they want.

vscode使わないなら消しとけばいいんじゃね