Remove mill and implicit arguments

Author: biboudis

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

@@ -78,7 +78,7 @@ implicit values and we identify that their semantic differences must be
 communicated more clearly syntactically. Secondly, implicits pose challenges for
 tooling such as error reporting for failed implicit searches. Furthermore, the
 `implicit` keyword is way too overloaded (implicit vals, defs, objects,
-parameters, or arguments). For instance, a newcomer can easily confuse the two
+parameters). For instance, a newcomer can easily confuse the two
 examples above while they demonstrate completely different things, a typeclass
 instance is an implicit object or val if unconditional and an implicit def with
 implicit parameters if conditional; arguably all of them are surprisingly
@@ -321,11 +321,11 @@ sbt new lampepfl/dotty.g8
 For more details on using Dotty with sbt, see the
 [example project](https://github.com/lampepfl/dotty-example-project).
 
-## [Mill](http://www.lihaoyi.com/mill/)
+<!-- ## [Mill](http://www.lihaoyi.com/mill/)
 
 The Mill build tool version 0.2.6 introduced experimental support for Dotty. For more details on
 using Dotty with Mill, see the
-[example project](https://github.com/lampepfl/dotty-example-project/tree/mill).
+[example project](https://github.com/lampepfl/dotty-example-project/tree/mill). -->
 
 ## IDE support