The frontend to GraveIndex.