I built a fairly extensive Pinboard plugin that gives you a keyboard shortcut - Ctrl+D - and other options for Google Chrome: https://github.com/josegonzalez/pinboard/downloads

You can then export the bookmarks from your pinboard account quite easily.