Run of lintian-fixes for jsxgraph

Try this locally (using the lintian-brush package):

debcheckout jsxgraph
cd jsxgraph
lintian-brush

Merge these changes:

git pull https://janitor.debian.net/git/jsxgraph lintian-fixes/main

Summary

Full worker log Full build log