Easy !

thank you for the work! and hope someday it would turn to "official" one :)

Awesome! I've been meaning to do this for years, but now I don't have to. I really don't know why an official extension doesn't exist, but either way, nice work.

Excellent! Just keep the bookmarklet, for annotating also local PDFs.

Wow! This is a really nice port, and is great for educational purposes. Thanks for making this extension available on the best browser that there is