Also, looks like they're searching since January:

- https://news.ycombinator.com/item?id=39571381

- https://news.ycombinator.com/item?id=39227314

- https://news.ycombinator.com/item?id=38844968