Traceback (most recent call last):
  File "electrum", line 229, in <module>
    config.set_key('server', pick_random_server())
NameError: name 'pick_random_server' is not defined