> This is an awkward edge-case that would be ameliorated by allowing local file backup / restore.

Feels like it would be better to support multiple phone numbers on the same device. But yeah... that's work and probably not a super common use-case.