It would be nice to have default board busio devices on the Raspberry Pi Pico, so that many of our examples don't break. The question is which pins to pick.
In the Get Started with MicroPython on Raspberry Pi Pico book, the I2C examples use GPIO0 and GPIO1:

SPI uses GPIO2, 3, and 4:

There is no UART example.
In the Raspberry Pi MicroPython SDK book/datasheet, the default pins are different than above:
I2C:

SPI:

UART:

If we chose the first set, then the beginner book examples are easily translated.
If we chose the second set, then sample MicroPython code is easier to translate.
Tagging @tannewt, @kattni, and @ladyada for comment.