Online OCR and OCR API hickups

Our Online OCR and OCR API service is in beta testing. Today we discovered that it has issues with certain PDF files since the last system update. These might bring the system to a stop until the OCR processor is restarted.

As of now, everything works again, but as the core issue is _not_ resolved yet, further intermittent downtimes are likely. But we will fix the core issue asap. Watch this space for updates.
Update Sep 15: All fixed, happy OCR’ing!