Oh huh, I switched from AndOTP to Aegis and was able to export from the former and import into the latter. Then on desktop I'm using Authenticator [0], which can import from both.

[0] https://flathub.org/apps/com.belmoussaoui.Authenticator