I was disappointed in the details provided for the RP2040 ADC. So I decided to test it myself! I did some testing of a few ADC specs and posted them here:
http://pico-adc.markomo.me/The biggest thing is that the ADC has some significant DNL issues. It looks like those were caused by a systematic error in the capacitors for the DAC portion of the SAR ADC.

I also discovered the "Low-Noise" mode of the DC-DC converter on the Pico actually has more noise (and the same or worse performance) than the high-efficiency mode.
To head off some complaints, I wanted to test the Pico; I was not attempting to measure the RP2040 chip itself, so all the noise, etc... from the Pico is included.
Below is a listing of the specs I measured and their results (along with links to the relevant posts)