Hacker News Reader

Unrelated question: are you using PDF.js to render those?

I am. The goal was to create permalinks to specific sections of CPU reference PDFs.

And it does that quite well. Thanks for this!