PinBuddy – Google Chrome extension for the Pinboard bookmarking service

Did you reach out to Maciej to include it on Pinboard as an unofficial extension? I think many users would find it useful (I'm not using Pinboard myself).