run: remove information about the DNS entry

As of #6, we now use xip.io, which handles all the DNS stuff for us.