The documentation sources are most conveniently modified with an editor
that has a mode for editing XML, and even more so if it has some awareness
of XML schema languages so that it can know about
@@ -20,4 +20,4 @@
src/tools/editors/emacs.samples contains
recommended settings for this mode.
-