Arduino core 4.6.0 is missing PIO.h

[rajivtctech]

I cannot find PIO.h at /home/rajiv/.arduino15/packages/rp2040/hardware/rp2040/4.6.0/cores/rp2040/PIO.h in core 4.6.0

[earlephilhower]

There never was a PIO.h file as part of the core. There's PIOProgram.h and the SDKs hardware/pio.h.