If the default_wallet file still exists on the old user's profile then you can copy this file into the use profile of the other user on your computer, and the wallet should load, along with labels and the same password.
If for some reason you are unable to move this file, and/or there is some other issue with the file, then you can click on "- Restore an existing wallet from its seed" and enter the recovery seed that you (hopefully) wrote down when you first created your wallet.
Also, can Electrum be used with a PATH that doesn't involve storing anything in the installing user's profile?
You can delete your wallet file every time you close electrum, and then restore your wallet from its seed every time you open it, however this is not something I would suggest doing because it would mean that you need to frequently access one of your backups which increases your risk of loss of bitcoin
Thanks for the reply.
Normally I'd just try this, but in this case I'm quite paranoid since I just spent a long sweaty summer spending hours at my desk about five feet from a heat pumping miner and I don't want to lose the resultant btc.
I'd guess that I should I copy the whole Electrum folder from the old profile to the new profile or does Electrum just look for a default_wallet file? The Electrum folder in the old profile contains two folders, "certs" and "wallets" (with default_wallet), and two files, "blockchain headers" and "config".
For my understanding, if I was to "restore an existing wallet from its seed" (and I do have the seed saved in a few places) does that automatically create the watching-only wallet since there is no private key present?
I don't get the last part of your reply. If I was to restore a wallet from seed, why would I need to access a backup? I thought the seed was all that was needed in "restore the wallet from seed" scenario.
**
Do you happen to have any knowledge of the procedure to update to a newer Electrum version in a watching wallet/cold storage configuration?
Thanks