You are right- I have just done as you suggest. Never noticed the 'options' box before but as you say it gives options to choose BIP39 and so I choose that and it created an Electrum wallet based on protonwallets seed. Thank you.
No problem, glad it worked out for you!
reply