Bookmarks, 02019-07

Last month’s bookmarks from pinboard.in: