4 ms·They're not OCR errors, unfortunately. Sorry for these problems! We have to investigate!by marco1 11y agoThey're not OCR errors, unfortunately. Sorry for these problems! We have to investigate!