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