The batch script provided on this help center page fails if a username contains spaces, and worryingly also still tells the user that the files were saved successfully. The issue is obvious by just looking at the script. Devs should probably fix and re-upload it, and users encountering the problem can quickly and easily fix it themselves by just putting the destination argument in both reg export commands (on line 35 and 43) inside quotation marks, so they look like this:
