Document how to launch the server