Annotating PDFs Together with Crocodoc