Painful to read this.

And now they've tried to clean up the mess by uploading another (clean) wallet?
https://github.com/ElectrumBTCDiamond/electrum/releases/tag/v3.1.2

https://www.virustotal.com/#/url/d6101b23974af1329c77ccf70e31e845884a8a8f91e49adccfc6476aea48d81b/detection

Nice try...