I don't see any reference to default_server in the existing code. What would this line look like? We need documentation for all of the parameters to this definition in the README.md.