Update dev.server.installation.md