⭐ Merited by NeuroticFish (5)
Even if no one did that, you can use any open source piece of software with two very minor changes as explained by pooya87 above to restore an Electrum seed phrase. For example, with https://github.com/iancoleman/bip39, simply open src/js/jsbip39.js, change line 116 to return true; and at line 144 change the word "mnemonic" to the word "electrum". The derivation paths will be different (m/0 for legacy and m/0'/0 for segwit), but it will generate your Electrum addresses just fine.
Like this: https://github.com/HardCorePawn/electrumBIP39
or the more complete version that validates the checksum: https://github.com/FarCanary/ElectrumSeedTester
The point is... the knowledge on how to go from Electrum seed phrase -> BIP32 seed -> Bitcoin Private Keys is not going to disappear unless the internet disappears... in which case, your bitcoin private keys are worthless anyway
