This is a wrapper around Markus'/ADS' Dexter java applet.


To maintain the HTML page on dexter.sourceforge.net, do

sshfs msdemlei@web.sourceforge.net:/home/project-web/dexter/htdocs/ mnt


Since java applets don't work any more, we're compiling Dexter
to javascript/webassembly using the proprietary cheerpj,
https://www.leaningtech.com/cheerpj/.  On Markus' box, he's just
untarred their binary to /opt, resulting in /opt/cheerpj_2.1 as its
root; he's recklessly hardcoding that path for now.

At least in 2021, this still required Dexter.jar to be compiled using
a JDK 8.

To re-build the thing, in applet execute:

  make dachsinstall

Currently, there's a bad uglyness in that we pull the js runtime from
learningtech.  TODO: figure out if we can host that ourselves.