[JdeBP]

So not https://news.ycombinator.com/item?id=24506303 , https://news.ycombinator.com/item?id=24506764 , and https://news.ycombinator.com/item?id=24523901 then.