Did anyone who contributed using Bitcoin through an Electrum wallet manage to get their AE/Ethereum keys using the official tool?

I've tried but the tool doesn't recognize Electrum's 13-words mnemonic phrase (btw, I am already in touch with the support team and so far they have been very kind trying to understand the issue, just looking for someone who actually managed to do it)