The Electrum server at electrum.bitcore.cc seems to be down now.  Is someone working on that?

Also, the .zip and .tar.gz files at https://github.com/LIMXTEC/electrum-btx-claim/releases seem to be missing the wallet.py change.