I came here to ask the same thing, then saw interroboink's guess in another comment and it seems plausible: https://news.ycombinator.com/item?id=37317687 https:

I came here to ask the same thing, then saw interroboink's guess in another comment and it seems plausible: https://news.ycombinator.com/item?id=37317687 https://news.ycombinator.com/item?id=37317687