Address second wave of comments

Author: biboudis

docs/blog/_posts/2019-03-04-13th-dotty-milestone-release.md

@@ -6,12 +6,13 @@ authorImg: /images/aggelos.jpg
 date: 2019-03-04
 ---
 
-Hello hello! This is the second release for 2019, let's call it the _Contextual_
-release and you will understand why we are super excited in a bit! ✨🎊🎉
+Hello hello! This is the second release for 2019. Spark, top level definitions
+and redesigned implicits ✨🎊🎉 are the most important inclusions in this release
+and you will understand why we are super excited, in a bit!
 
-Without further ado, today we release the version 0.13.0-RC1 of the Dotty compiler.
-This release serves as a technology preview that demonstrates new language features and the
-compiler supporting them.
+Without further ado, today we release the version 0.13.0-RC1 of the Dotty
+compiler. This release serves as a technology preview that demonstrates new
+language features and the compiler supporting them.
 
 Dotty is the project name for technologies that are being considered for
 inclusion in Scala 3. Scala has pioneered the fusion of object-oriented and
@@ -125,7 +126,7 @@ implied ListOrd[T] given (ord: Ord[T]) for Ord[List[T]] {
 }
 ```
 
- A `given` clause can also designate an inferable parameter for functions:
+A `given` clause can also designate an inferable parameter for functions:
 
 ```scala
 def max[T](x: T, y: T) given (ord: Ord[T]): T =
@@ -180,7 +181,7 @@ object B {
 }
 ```
 
-You can read more about [implied
+**You can read more about** [implied
 imports](https://dotty.epfl.ch/docs/reference/contextual/import-implied.html)
 from the docs or the relevant PR
 [#5868](https://github.com/lampepfl/dotty/pull/5868).
@@ -196,7 +197,7 @@ Context queries--previously named implicit function types (IFTs)--are now also
 expressed with `given`, providing types for first-class context queries. This is
 merely an alignment of IFTs into the new scheme.
 
-You can read about the alternative to implicits through the *Contextual
+**You can read more about** the alternative to implicits through the *Contextual
 Abstractions* section of our documentation or for a deep dive from the relevant
 PR chain that originated from
 [#5458](https://github.com/lampepfl/dotty/pull/5458). The syntax changes for new
@@ -248,9 +249,9 @@ it has a definition like this:
 def derived[T] given Generic[T] = ...
 ```
 
-You can read more about [Typeclass
+**You can read more about** [Typeclass
 Derivation](https://dotty.epfl.ch/docs/reference/contextual/derivation.html) or
-for a deep dive at the relevant PRs:
+have a deep dive at the relevant PRs:
 [#5540](https://github.com/lampepfl/dotty/pull/5540) and
 [#5839](https://github.com/lampepfl/dotty/pull/5839).
 
@@ -263,7 +264,7 @@ provide a derived implicit instance:
 implied for Eql[Int, String] = Eql.derived
 ```
 
-You can read how we based multiversal equality on typeclass derivation through
+**You can read more about** how we based multiversal equality on typeclass derivation through
 the relevant PR [#5843](https://github.com/lampepfl/dotty/pull/5843).
 
 _Implicit conversions_ are now defined by implied instances of the