Initial commit of Mirror of HypergraphDB, revision 2894