Update docs/development_server.md