https://help.jasmin.ac.uk/docs/getting-started/migrate-jasmin-account-from-ceda/