Improve/cleanup other stuff

Author: smarter

docs/blog/_posts/2017-10-02-fourth-dotty-milestone-release.md

@@ -55,19 +55,15 @@ dependencies have been published for 2.12.
 ### Performance work
 Over the last few weeks, we have begun work on improving compilation bit by bit
 with some good results:
-compiling [https://github.com/dotty-staging/scalapb](scalapb) is now 20% faster
+compiling [ScalaPB](https://github.com/dotty-staging/scalapb) is now 20% faster
 than with Dotty 0.3.0-RC2. You can follow along our progress on
 http://dotty-bench.epfl.ch/.
 
 
-## How can you try it out?
-We ship with tools that help you try out the Dotty platform:
-
-  - [IDE features for Visual Studio Code](http://dotty.epfl.ch/docs/usage/ide-support.html)
-  - [sbt support, including retro-compatibility with Scala 2](https://github.com/lampepfl/dotty-example-project)
-
-You have several alternatives; use the `sbt-dotty` plugin, get a standalone
-installation, or try it online on [Scastie].
+## Trying out Dotty
+### Scastie
+[Scastie], the online Scala playground, supports Dotty.
+This is an easy way to try Dotty without installing anything.
 
 ### sbt
 Using sbt 0.13.13 or newer, do:
@@ -80,6 +76,11 @@ This will setup a new sbt project with Dotty as compiler. For more details on
 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](http://dotty.epfl.ch/docs/usage/ide-support.html).
+
+
 ### Standalone installation
 Releases are available for download on the _Releases_
 section of the Dotty repository:
@@ -97,18 +98,7 @@ In case you have already installed Dotty via brew, you should instead update it:
 brew upgrade dotty
 ```
 
-### Scastie
-[Scastie], the online Scala playground, supports Dotty.
-You can try it out there without installing anything.
-
-
-## What are the next steps?
-Over the coming weeks and months, we plan to work on the following topics:
-
- - [Add Language-level support for HMaps and HLists](https://github.com/lampepfl/dotty/pull/2199);
- - Upstream more optimizations from Dotty Linker
-
-## Questions / Reporting Bugs
+## Let us know what you think!
 If you have questions or any sort of feedback, feel free to send us a message on our
 [Gitter channel](https://gitter.im/lampepfl/dotty). If you encounter a bug, please
 [open an issue on GitHub](https://github.com/lampepfl/dotty/issues/new).
@@ -132,7 +122,7 @@ We are looking forward to having you join the team of contributors.
 
 ## Library authors: Join our community build
 Dotty now has a set of libraries that are built against every nightly snapshot.
-Currently this includes scalatest, squants and algebra.
+Currently this includes ScalaPB, algebra, scalatest, scopt and squants.
 Join our [community build](https://github.com/lampepfl/dotty-community-build)
 to make sure that our regression suite includes your library.
 
@@ -148,7 +138,5 @@ To get started, see [https://github.com/lampepfl/dotty](https://github.com/lampe
 [@nicolasstucki]: https://github.com/nicolasstucki
 [@liufengyun]: https://github.com/liufengyun
 [@OlivierBlanvillain]: https://github.com/OlivierBlanvillain
-[@OlivierBlanvillain]: https://github.com/OlivierBlanvillain
-[@biboudis]: https://github.com/biboudis
 [@biboudis]: https://github.com/biboudis
 [@allanrenucci]: https://github.com/allanrenucci