On Wednesday, 13 June 2018 at 22:38:26 UTC, Walter Bright wrote:
https://news.ycombinator.com/item?id=17306761
I think that if you want to advertise a single comment on Reddit or similar sites, the general forum would be more appopriate place for that. But that's just my opinion.
