## the long line in file src/loadjsxgraph.js is a long list, and it is
## human-readable. It might be broken into smaller lines, but we
## don't bother.
jsxgraph source: source-is-missing src/loadjsxgraph.js line length is 842 characters (>512)
