Someone else mentioned those numbers in a cousin thread but as far as we can tell there's no source for that. Do you happen to have one? See the comment thread

Someone else mentioned those numbers in a cousin thread but as far as we can tell there's no source for that. Do you happen to have one? See the comment thread here https://news.ycombinator.com/item?id=22981423 https://news.ycombinator.com/item?id=22981423