This is an exact duplicate (even posted by the same person) of a link submitted 11 hours ago.<p><a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11190008" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=11190008</a><p>Edit - it doesn&#x27;t work for me either, or maybe it is just very slow?