Thanks, we changed the URL to that from <a href="http:&#x2F;&#x2F;www.fi.edu&#x2F;learn&#x2F;sci-tech&#x2F;automaton&#x2F;automaton.php" rel="nofollow">http:&#x2F;&#x2F;www.fi.edu&#x2F;learn&#x2F;sci-tech&#x2F;automaton&#x2F;automaton.php</a>. If anyone&#x27;s curious, the reason is that we invited js2 to repost <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=3407558" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=3407558</a>, an ancient submission, without realizing that the old URL was broken.