How easy is it to change the url of a pds? For example migrating from pds.darn.fish to pds.darn.social, is it as easy as updating the env and DNS records? cc @jaz.bsky.social