[kmfrk]

They exist somewhere in the Opera cloud ether, and locally on my computer. Sync doesn't work, so it is a pretty crappy solution.

I thought briefly of writing some Pinboard.in extension, but I probably wouldn't be able to extend the built-in bookmarks system anyway.

Chrome sync doesn't work either. :/

I do prefer Opera to Chrome, because it manages bookmarks better, when I need to access them and search for something particular, though.