Range of updates: main one being to run INSTALL-JS.sh in 'src' to install the Javascript file document_extra.js