The static release site, which is on home1t/coldesp, has now been running for a few weeks without problems, so today I've brought down the old Cocoon version that was on tomcat-devel. After stopping it in the Tomcat manager app, I took a backup of it, which I zipped and stored in my home directory on Squash at Colonial_Despatches/cocoon_final_backup_2020/coldesp_old_peach.zip.
We could now undeploy the tomcat-devel app completely, freeing some space and resources on Tomcat; we should probably do that so that a restart of Tomcat doesn't inadvertently restart the old app. I'll wait for everyone's OK before doing that.
Regarding the new static site: I need to put together detailed instructions on how to deploy a new edition. Basically, you have to rsync the content from the build on Jenkins to the deployment folder (coldesp/www), but it's important to ensure that the rsync DOES NOT INCLUDE THE DELETE FLAG, since there is a lot of other material required by the site (such as hundreds of thousands of page-images) which are not part of the Jenkins build, and they must not be deleted. (They are backed up on Squash, though.)