has been edited and added by the editors of Hacker News.

It was originally published on October 1, 2018, and edited on October 4, 2018.

The editors of this site reserve the right to edit and delete content without notice.