@dang may I ask if this submission and <a href="https://news.ycombinator.com/item?id=42174404">https://news.ycombinator.com/item?id=42174404</a> is receiving many downvotes, or just not seeing attention? Just bad luck, no suspicious downvotes at play? A wild guess... Sorry to bother