Not a big deal, but since the homepage is currently at https://electrum.org, maybe the OP should be edited to reflect that?