This post has moved to https://tau.gr/archive/posts/2018-10-01-bookmarks-october-2018/.