I've just installed an Electrum wallet for the first time. In the [Console] details there is a "welcome to hachre's Electrum server!" (running Electrumx 1.0.5, Bitcoin 0.13.2)

Hachre sounds like hacker, but I notice that one of official servers on the electrum.org website is listed as "hachre" with the .de website country code for Germany.

However, further on in my Electrum wallet console the contact email "electrum@hach.re" is given. The .re is a website country code for Reunion - a remote French island next to Madagascar in the Indian Ocean.

My question is: Is this a genuine Electrum server?