Notes on how to set up the server