Yes, this button downloads a json file with a buckup of your wallet. I still don’t know how to import it, though.

So much to learn still!!