This post has moved to https://tau.gr/archive/posts/2018-08-19-bookmarks-august-2018/.