Address review comments

Author: allanrenucci

docs/blog/_posts/2018-07-06-ninth-dotty-milestone-release.md

@@ -31,17 +31,17 @@ support for sbt 1, introduced improved unchecked warnings and improved SAM type
 
 ### Improved REPL [#4680](https://github.com/lampepfl/dotty/pull/4680)
 The REPL now uses [JLine 3](https://github.com/jline/jline3) under the hood which improves on
-many aspects such as auto-completions and multi-line editing. The REPL now also works on Windows!
+many aspects such as, auto-completions and multi-line editing. The REPL now also works on Windows!
 
 
 ### Documentation support in the IDE [#4461](https://github.com/lampepfl/dotty/pull/4461), [#4648](https://github.com/lampepfl/dotty/pull/4648)
-The Dotty IDE will now display documentation on code hover for symbols that were previously
+The Dotty IDE will now display documentation while hovering over symbols that were previously
 compiled by the Dotty compiler. In the future, we plan to let users query the documentation
 in the REPL as well.
 
 
 ### Drop requirement that implicit functions must be non-empty [#4549](https://github.com/lampepfl/dotty/pull/4549)
-We decided to remove an arbitrary restriction that implicit and functions must be non-empty.
+We remove the arbitrary restriction that parameters of implicit functions must by non-empty.
 We can now write:
 ```scala
 type IntProducer = implicit () => Int
@@ -68,9 +68,12 @@ Implicit conversions are easily the most misused feature in Scala. We now emit f
 when encountering an implicit conversion definition, just like Scala 2 does.
 
 In addition, we also emit a feature warning when an implicit conversion is used,
-unless the conversion is an implicit class, or otherwise co-defined with the type
-to which it converts, or the conversion is predefined in `scala.Predef` or is the
-`scala.reflect.Selectable.reflectiveSelect` conversion (we might extend this to more conversions).
+unless the conversion is:
+
+- an implicit class
+- co-defined with the type to which it converts
+- predefined in `scala.Predef` or is the `scala.reflect.Selectable.reflectiveSelect` conversion
+  (we might extend this to more conversions).
 
 
 ### Optimise s and raw interpolators [#3961](https://github.com/lampepfl/dotty/pull/3961)
@@ -81,17 +84,17 @@ s"Hello $name!"
 // compared to:
 "Hello " + name + "!"
 ```
-The compiler will now desugar the former into the later. Special thanks to
+The compiler will now desugar the former into the latter. Special thanks to
 [Wojtek Swiderski](https://github.com/Wojtechnology) who contributed this feature to the Dotty
 compiler!
 
 
 ### Support for compiler plugins [#3438](https://github.com/lampepfl/dotty/pull/#3438)
-Dotty now supports Compiler plugins. Compiler plugins let you customise the compiler pipeline
+Dotty now supports Compiler plugins. Compiler plugins let you customize the compiler pipeline
 without having to modify the compiler source code. A major difference compared to Scala 2 is
 that Dotty plugins must run after the type checker. Being able to influence normal type checking
-is a very powerful feature but for production usages, a predictable and consistent type checker
-is more important.
+is a powerful feature but for production usages, a predictable and consistent type checker is
+more important.
 
 Starting with 1.1.5 Dotty compiler plugins can be used with `sbt`. Please refer to the `sbt`
 [documentation](https://www.scala-sbt.org/1.x/docs/Compiler-Plugins.html) for more information.
@@ -113,7 +116,7 @@ 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
+It is 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).
 
 
@@ -149,7 +152,30 @@ Thank you to all the contributors who made this release possible!
 According to `git shortlog -sn --no-merges 0.8.0..0.9.0-RC1` these are:
 
 ```
-TODO
+   200  Nicolas Stucki
+   155  Martin Odersky
+    71  Allan Renucci
+    42  Paolo G. Giarrusso
+    27  Aggelos Biboudis
+    25  Guillaume Martres
+    22  Martin Duhem
+    10  Sebastian Nadorp
+    10  Wojtek Swiderski
+     6  Olivier Blanvillain
+     5  benkobalog
+     4  Ingar Abrahamsen
+     3  Ankit Soni
+     2  Liu Fengyun
+     2  Olivier ROLAND
+     2  Fabian Page
+     1  Roberto Bonvallet
+     1  Fengyun Liu
+     1  Zoltán Elek
+     1  benkbalog
+     1  Glavo
+     1  dieutth
+     1  fschueler
+     1  mentegy
 ```
 
 If you want to get your hands dirty and contribute to Dotty, now is a good time to get involved!