#13 Settings activity, with support for changing server port number