A server configuration editor.