Yes, and I mentioned at 3 different places that FF doesn't allow extensions to work in built-in PDF-viewer anymore. So, nothing I can do there.
Anyway, I recommend using the highlight function of the pdf program of your choice