Collect probscheme release, whence to reboot repository.  The old
history proved too difficult to recover.