It also:
– Uses the official Pinboard API (there’s a settings screen for your API key)
– Obeys the API’s rate limits
– Allows you to choose an author for synced pins
– Syncs updated pins from Pinboard (I think!) but does not remove deleted pins