[sr-dev] git:master: Remove duplicate entry of "default_domain" in docs.