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