And to answer the original question, I think there’s a setting called “Server Address” under Mobile > Settings you can set…