BTW, in case it's worth mentioning, this stuff happened last summer (i.e. end of Aug. 2014). FWIW, the story seems to have made it to HN around that time, thou

BTW, in case it's worth mentioning, this stuff happened last summer (i.e. end of Aug. 2014). FWIW, the story seems to have made it to HN around that time, though it only got 2 comments: https://news.ycombinator.com/item?id=8236027 https://news.ycombinator.com/item?id=8236027