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.