7 ms·

Tip: highlight the nasty text: the PDF was done with OCR, so the text is magically cleaned up using "select".