Fix instructions for `in-place editing' of a config file.
Make sure that nobody overwrites their server.xml by mistake.