Very interesting, thank you. It's also a nice benchmark for PDF.js.