Fixes for searching & related error reporting (probably due to a mistaken copy & paste in a previous commit)
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'
Fixes for searching & related error reporting (probably due to a mistaken copy & paste in a previous commit)