Read earlier in the thread that they run the open sourced version https://news.ycombinator.com/item?id=44099315