How do I configure non-standard UART pins on the Raspberry Pi Pico in a Rust project?
I'm following the Rust rp2040-project-template and, using another Picoprobe, can see log messages in the terminal as the onboard LED blinks. I gather it's possible to use different pins for UART TX & RX, but how is this configured in the context of the Rust project template? My goal is to free up pins 1 & 2 for other purposes.
Section 4.1 of the official getting started with pico guide implies there is a board configuration file, but it seems to be a C header file which I don't know how to use.