pdf.js extension with highlight funcionality