It would be nice to be able to use SEGGER RTT as an STDIO driver in the the pico-sdk. The main advantages of RTT over semihosting are the speed of data transfer and not halting execution. RTT is widely used and even has support in OpenOCD.