Hope I am not abusing this issue tracker but, the site: https://dotty.epfl.ch seems to be down.