For the uninitiated, this guy&#x27;s bookmarking site is Pinboard (<a href="https:&#x2F;&#x2F;pinboard.in" rel="nofollow">https:&#x2F;&#x2F;pinboard.in</a>). It&#x27;s a fantastic service and I hope it never changes.