3 ms·

Huh, my PDF viewer seems to be failing to display a couple of pages towards the end. That's annoying.