Yeah I sure hope they will fix that ADC. I hope they will fix it on the RP2040 too. That would be great to use the RP2040 as peripherals for a more powerful chip (and load the code/pio through the swd ports so you don't need flash for each of them).