Google Chrome extension for Pinboard (https://pinboard.in).
I tried every single pinboard extension. This is the best one by far. It's simple, functional and (!) not buggy as far as I can see. I have been using it for half a year now. With other pinboard extensions I always had problems (like no live suggestions for tags).
https://rgbstudios.org
https://adtraction.com
https://rgbstudios.org
Pothos