Does anyone know what became of his papers, especially the log books? I know someone who is an expert on digitising historical documents at Oxford University (automated bulk scanners, specially tuned Linux systems, Web-based referencing, clever stuff).