fix CI by removing dead link (#1388)

Author: SethTisue

_posts/2017-12-01-fifth-dotty-milestone-release.md

@@ -135,9 +135,8 @@ using Dotty with sbt, see the
 [example project](https://github.com/lampepfl/dotty-example-project).
 
 ### IDE support
-It is very easy to start using the Dotty IDE in any Dotty project by following
-the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html).
-
+It is very easy to start using an IDE in any Dotty project by following
+the IDE sections of the <a href="https://docs.scala-lang.org/scala3/getting-started.html">getting-started page</a>.
 
 ### Standalone installation
 Releases are available for download on the _Releases_