@@ -112,10 +112,10 @@ On startup Urbit tries to bind to `localhost:80`. If you're already
112112running something on port `80` -- such as any other HTTP server, or another urbit -- you'll find the urbit
113113that you just started on `8080`, `8081`, and so on. For planets only, we also proxy web
114114domains through Urbit's own servers. Any planet `~your-urbit` is also at
115−`your-urbit.urbit.org`.
115+`your-urbit.arvo.network`, but only after you [set up DNS](../dns-proxying).
116116
117117Your urbit serves a simple homepage from `http://localhost` or
118−`https://your-urbit.urbit.org` that should be self-explanatory. Since
118+`https://your-urbit.arvo.network` that should be self-explanatory. Since
119119our HTTPS isn't audited / battle tested, we just call it "secure" HTTPS.
120120You can find that on `8443`. Or `8444` (and so on) if you're already
121121running something on `8443`.