I Miss Pinboard

If you don't know what Pinboard is already, you shouldn't install this.

The old Pinboard extension Maciej wrote stopped working when Google made some changes, so this is a lightly fixed version of the latest version of the plugin that stopped working. I sent him a copy of this version in June but I think he's busy, and I figured there were probably other Pinboard fans out there for whom only the official plugin will do. This is that but...it works now!