Is there #jabber #xmpp Android client that lets you specify server and port manually? All I tried assume domain from the ID. I am experimenting with ephemeral fully local servers that claim no domain. I know I might be breaking some standards here..