This file contains the JavaScript “source” of the diagrams.
The library converting them into SVG is maintained
on GitHub.
The update-diagram-lib.sh script can be used to get the
latest version of the library.
The intent is that edits are done in this file for easy preview.
When the diagrams give satisfaction, the markup
can be copied and pasted into Overview.src.html.
All comments are ignored.