Error ontology trees for SafeDocs
Parseque mirror & fixes for current Coq
tool for exploring file formats and testbed for Hammer ideas