Not receiving serial data through Raspberry Pi UART
The culprit turned out to be this particular Raspberry Pi Pico, which seems to have a flaky or unreliable UART pin. The above is, for what it's worth, a good summary of how to set up Ubuntu on the Raspberry Pi for UART communication!