The idea itself is simple enough (though uncertain about the implementation). It is definitely a very minor nitpick (and I'm even wondering if it's only a "me" thing) : when pdfjs.forcePageColors is true, highlighter becomes limited to only yellow, e...
