I made the mistake of migrating all my bookmarks from Pinboard to GoodLinks. The app’s amazing, but there’s no way to export the content from there in a format used by other applications (e.g., the classic bookmarks HTML). I’ll have to write a script for that now 👨‍💻