Apollo, an annotation editor