Merge pull request #13167 from SrTobi/tobias/given-name-docs

fixed examples for names of anonymous givens

Author: bishabosha

docs/_docs/reference/contextual/givens.md

@@ -55,7 +55,7 @@ the implemented type(s).
 
 ```scala
 given_Ord_Int
-given_Ord_List_T
+given_Ord_List
 ```
 
 The precise rules for synthesizing names are found [here](./relationship-implicits.html#anonymous-given-instances). These rules do not guarantee absence of name conflicts between

docs/_docs/reference/contextual/relationship-implicits.md

@@ -64,7 +64,7 @@ Anonymous given instances get compiler synthesized names, which are generated in
 
 ```scala
 given given_Ord_Int: Ord[Int] with { ... }
-given given_Ord_List_T[T](using ord: Ord[T]): Ord[List[T]] with { ... }
+given given_Ord_List[T](using ord: Ord[T]): Ord[List[T]] with { ... }
 ```
 
 The synthesized type names are formed from