Previously: <a href="https://news.ycombinator.com/item?id=42451430">https://news.ycombinator.com/item?id=42451430</a> ; <a href="https://news.ycombinator.com/item?id=42368978">https://news.ycombinator.com/item?id=42368978</a> . I don't think this one is going to get any more attention.