doc: record loss of all files in project directory except the website. Lost the log file we were using for coordinating, the cgi-bin directory that redirected old wiki links. The venv for processing the documentation (althogh it was old and they only support python2).