9 ms·

So it is just an inherent limitation of pdfs? That's too bad, for some reason I find the html format less intuitive.