Update docs/blog/_posts/2020-06-16-25th-dotty-milestone-release.md

Co-authored-by: odersky <odersky@gmail.com>

Author: anatoliykmetyuk

docs/blog/_posts/2020-06-16-25th-dotty-milestone-release.md

@@ -32,7 +32,7 @@ object Macro1 {
 
 Currently, this is a work in progress. You can dive deeper into the current state of things by looking at PR [#8811](https://github.com/lampepfl/dotty/pull/8811).
 
-# Speed up the compiler when programming with givens
+# Avoid excessive slowdowns when suggesting missing imports in error messages
 Dotty brings to the user an enhanced error reporting when it comes to programming with givens. This better error reporting, however, proved to be a trade-off. Sometimes it takes an unreasonable amount of time and space to compute a quality suggestion to the end user.
 
 A number of users reported considerable slowdowns when it comes to programming with implicits. To address this issue, we have modified the logic for given imports suggestion. We introduced a per-run budget of 10 seconds, so it is guaranteed that it won't take longer than that time to compute all the given imports.