An extension that pushes new bookmarks and bookmark changes to Pinboard.