Follow-up: installed latest version of Electrum (4.4.6), and after that it was really easy... Just log-in to the wallet (log-in name already provided) and after logging in, it was all there.

Thanks for reassuring it was safe.