old_contents: 
  # This is a relay I run on a personal server. If it gets too expensive to
  # run, I'll shut it down.
  RENDEZVOUS_RELAY = u"ws://wormhole-relay.petmail.org:4000/v1"
  TRANSIT_RELAY = u"tcp:wormhole-transit-relay.petmail.org:4001"
  
new_contents: 
  # This is a relay I run on a personal server. If it gets too expensive to
  # run, I'll shut it down.
  RENDEZVOUS_RELAY = u"ws://wormhole-relay.lothar.com:4000/v1"
  TRANSIT_RELAY = u"tcp:wormhole-transit.lothar.com:4001"
  
subject: change hostname of public relay