Hmmm .. when compiling the project, this message appears in Visual Code.
> unable to open source file "PeripheralNames.h" (dependency of "C:\Users\avsav\AppData\Local\Arduino15\packages\arduino\hardware\mbed_rp2040\4.0.2\cores\arduino\Arduino.h")
Same issue, can't find where does the compiler takes the file from, but it seems that the best bet would be C:\Users\%USERNAME%\AppData\Local\Arduino15\packages\arduino\hardware\mbed_nano\4.0.2\cores\arduino\mbed\targets\TARGET_RASPBERRYPI\TARGET_RP2040