FYI I am able to export (as JSON/HTML/XML) my Pinboard bookmarks.