This GitLab instance has migrated as of Nov-5-2022 to a new server: hardware, OS, SSH key
The v3.20a development branch has now been merged to the master branch. Sysops upgrading from earlier versions must run 'jsexec update'
Closes #83, #108, #141.
Still to do: expose via JS (e.g. for use in msglist.js).