Save a new version of the productionlist environment for safe-keeping; this

will be replaced shortly.  See the comments for more details.