A small PHP script to import your Pinboard bookmarks archive into DEVONThink and convert them into searchable .webarchive files. - View it on GitHub