Oh my god, getpolarized is exactly what I am currently trying to achieve. I tried out PDF.js to get highlighting and reading progress in my application but could never figure it out. This is amazing!!