Repository damaged after accidentally deleting data files

This issue is documented on the forum and on github.