Better document server.properties template