Wio Terminal GPIO pins in CircuitPython

Thanks for the help! Those names did work, although I had to swap the wires to the actual TX and RX pins to get any data … see my other thread about that.