I think your intuition is right. Looking at the Path variable in the user environment:
Here’s the output of CMD:
Here’s the output of Powershell:
And here’s the output of the VS Code terminal:
At the very end of the output, the VS Code terminal does not have the …gcc_arm\10.2.1\bin
So now just need to get VS Code to pick up on that…