You can always tell VSCode to not use its builtin core version but the global one instead that you install via pip in the extension settings. Then using pip, you can always uninstall PIO and install a specific version of PIO 4. See platformio · PyPI and python - Installing specific package version with pip - Stack Overflow.
1 Like