Are the Pico 2 (RP2350) GPIO pins broken?

TLDR; A little bit, yes, but it probably doesn't matter. The new Raspberry Pi Pico 2 mostly represents a bump in performance and memory. A welcome feature of the release, for authors such as myself, is that the functioning of the GPIO pins and the pinout remains the same as the original Pico 1, as does the most used microPython programming environment, So, it was a surprise to find various reports…