Comments* moved to https://news.ycombinator.com/item?id=47096253 https://news.ycombinator.com/item?id=47096253, which has the original source. We will add the

Comments* moved to https://news.ycombinator.com/item?id=47096253 https://news.ycombinator.com/item?id=47096253, which has the original source. We will add the current link to the toptext there as well. (* except for the ones that only make sense in current context - that's the intention at least)