any updates on connecting to an electrum server over tor?