In any case, the vast majority of servers are OK... and if you run only the latest official Electrum, you have nothing to worry about from this particular attack. It'll just be inconvenient if your Electrum connects to a bad server, you'll get "unknown error".
As already mentioned, you simply need to connect to a different server, and continue trying different ones, until you no longer get the error.