Oh we're down to gas names now?
Goshdarnit they didn't see my suggestion: https://news.ycombinator.com/item?id=49899171
If the model that ends humanity is called Cthulhu, you'll have the last laugh though.
If the model that ends humanity is called Cthulhu, you'll have the last laugh though.