Bookmarks, 02018-11

Last month's bookmarks from pinboard.in: