TOTP is an open standard, as you noted, you can just keep and exported file of the seeds and store them in an encrypted back up file, and import them into and TOTP app on any platform.

Services like authy make it difficult to export your seeds however, so it’s not a great option.