Python command line tools for managing Pinboard bookmarks | Hacker News Reader