EDIT10: a database interface for HGM10.