I'm absolutely sure this isn't user mistake, since the recovery phrase was present in two distinctive sites: backed up in the file on S3, and printed with a piece of paper. This information explains BIP39, the standard that defines how seed phrases are made, and summarizes how BIP32 and BIP44 https://bookmarks4seo.com/story18789983/how-much-you-need-to-expect-you-ll-pay-for-a-good-bip39-definition