Thanks! We changed the URL to that from http://www.scala-lang.org/blog/2015/10/23/dotty-compiler-boo..., which doesn't give as much info.