The original link I wanted to post is :
<a href="http://tools.android.com/recent/androidstudio10released" rel="nofollow">http://tools.android.com/recent/androidstudio10released</a><p>But this is already posted here :
<a href="https://news.ycombinator.com/item?id=8718353" rel="nofollow">https://news.ycombinator.com/item?id=8718353</a><p>But marked as dead so it will never be seen by a lot of people... Is there a proper way to handle this ?