"XMPP (servername)" vs "XMPP servername"