change hostname of public relay
change hostname of public relay

This is an alias for the same host, so it's not really an incompatible
change. The new hostname is my personal domain, and seems a bit more
suitable for this service.

warner/magic-wormhole,warner/magic-wormhole,warner/magic-wormhole,warner/magic-wormhole