Update the README for the server.properties options.