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'
update the path info data and re-extract the filename so that widcards in
section names can match path info index files.