Using libraries with VS code Arduino extension

That’s a great point, I’m using the arduino community edition extension for VS code