This blog post has been moved to https://scalameta.org/metals/blog/2019/04/12/mercury.html