https://news.ycombinator.com/item?id=11599617 https://news.ycombinator.com/item?id=11599617 Not saying it's being used here (I honestly have no idea), but it's

https://news.ycombinator.com/item?id=11599617 https://news.ycombinator.com/item?id=11599617 Not saying it's being used here (I honestly have no idea), but it's not that much of a stretch.