Another step in degoogling: I ported my number out of Google Fi today. I ended up selecting US Mobile, as a friend has been satisfied with them for several years, and I used their international eSim on a recent trip and was also happy with the service.
Next up I guess I gotta do something about listening to music on my phone. I'm taking suggestions.