I'm glad to hear the encryption makes it secure for now. But this is really scary for many reasons. Electrum's status as a high profile accepted secure wallet is bad, if a big dog is exploitable, what about smaller companies with less funds to protect against it. Also this times up days before a hard fork in BTC blockchain for BTR (BitCoib Rhodium) airdrop. BTR specifically recommended Electrum wallet for the airdrop. I hate "coincidences" like that...