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.