server: Port 8000 seems to be the default on the Android app; use that.