I don’t think I use any of the social, automation, or integration features of #Pinboard anymore, and the site and app ecosystem has languished for so long. Is it time to switch to #GoodLinks?