Bookmarks, 02019-05

Last month's bookmarks from pinboard.in: