Add html annotator, chiefly for debugging