Bookmarks, 02019-10

One month's bookmarks from pinboard.in: