Pinbook ist abgelöst. Pushpin (8.99 €; universal; App-Store-Link) ist in Version 3 meine favorisierter Zugang zum Lesezeichendienst Pinboard.in. Dort fließen nicht nur alle Backups meiner Readability-, Instapaper- und Pocket-Artikel ein, sondern auch unsortiert Netzfundstücke, die ich irgendwann noch einmal wiederfinden will. Bookmarks eben. Pushpin ist unter iOS genau dafür meine Suchmaschine. Regelmäßige Anlaufstellen, die ich…