deriving domain_public from domain+port