Results 1 issues of vricciardi

This is a great and useful project - thanks for making it! I noticed that for certain pdfs Menotexport hangs at extracthl2.extractHighlights2. I fixed a local copy of this script...