<ubuntu> fixes in doc/setup-server.md