Add section on new pattern-bound given instances

docs/blog/_posts/2020-11-09-scala3-m1.md

@@ -49,6 +49,22 @@ As of Scala 3.1.0, the `@` syntax will be deprecated and the codebases should sw
 
 This change was implemented by PR [#9837](https://github.com/lampepfl/dotty/pull/9837).
 
+# Pattern-Bound Given Instances
+The syntax for `given` instances in patterns has also changed. In the `for`-comprehensions, the correct way of using `given`s is as follows:
+
+```scala
+for given Context <- applicationContexts do
+```
+
+And in `match` clauses, you can use them as follows:
+
+```scala
+pair match
+  case (ctx as given Context, y) => ...
+```
+
+For more information, see [documentation](https://dotty.epfl.ch/docs/reference/contextual/givens.html#pattern-bound-given-instances), and for discussion, see PR [#10091](https://github.com/lampepfl/dotty/pull/10091).
+
 # Change wildcard given selectors
 This is another syntactic change which aims to simplify the code. Instead of: