Fix implied leftover at docs

Author: biboudis

docs/docs/reference/contextual/import-implied.md

@@ -39,7 +39,7 @@ import delegate A.{for TC}
 This imports any delegate in `A` that has a type which conforms tp `TC`. There can be several bounding types following a `for` and bounding types can contain wildcards.
 For instance, assuming the object
 ```scala
-object Instances {
+object Delegates {
   delegate intOrd for Ordering[Int]
   delegate [T: Ordering] listOrd for Ordering[List[T]]
   delegate ec for ExecutionContext = ...
@@ -48,7 +48,7 @@ object Instances {
 ```
 the import
 ```
-import delegate Instances.{for Ordering[_], ExecutionContext}
+import delegate Delegates.{for Ordering[_], ExecutionContext}
 ```
 would import the `intOrd`, `listOrd`, and `ec` delegates but leave out the `im` delegate, since it fits none of the specified bounds.
 

docs/docs/reference/features-classification.md

@@ -36,7 +36,7 @@ Since these are additions, there's generally no migration cost for old code. An
 These constructs replace existing constructs with the aim of making the language safer and simpler to use, and to promote uniformity in code style.
 
  - [Trait Parameters](https://dotty.epfl.ch/docs/reference/other-new-features/trait-parameters.html) replace [early initializers](https://dotty.epfl.ch/docs/reference/dropped-features/early-initializers.html) with a more generally useful construct.
- - [Implied Instances](https://dotty.epfl.ch/docs/reference/contextual/instance-defs.html)
+ - [Delegates](https://dotty.epfl.ch/docs/reference/contextual/instance-defs.html)
    replace implicit objects and defs, focussing on intent over mechanism.
  - [Given Clauses](https://dotty.epfl.ch/docs/reference/contextual/inferable-params.html) replace implicit parameters, avoiding their ambiguities.
  - [Extension Methods](https://dotty.epfl.ch/docs/reference/contextual/extension-methods.html) replace implicit classes with a clearer and simpler mechanism.
@@ -71,7 +71,7 @@ For the next several versions, old features will remain available and deprecatio
 These constructs are restricted to make the language safer.
 
  - [Implicit Conversions](https://dotty.epfl.ch/docs/reference/contextual/conversions.html): there is only one way to define implicit conversions instead of many, and potentially surprising implicit conversions require a language import.
- - [Import Implied](https://dotty.epfl.ch/docs/reference/contextual/import-implied.html): implicits now require a special form of import, to make the import clearly visible.
+ - [Delegate Imports](https://dotty.epfl.ch/docs/reference/contextual/import-implied.html): implicits now require a special form of import, to make the import clearly visible.
  - [Type Projection](https://dotty.epfl.ch/docs/reference/dropped-features/type-projection.html): only classes can be used as prefix `C` of a type projection `C#A`. Type projection on abstract types is no longer supported since it is unsound.
  - [Multiversal Equality](https://dotty.epfl.ch/docs/reference/contextual/multiversal-equality.html) implements an "opt-in" scheme to rule out nonsensical comparisons with `==` and `!=`.
  - [@infix and @alpha](https://github.com/lampepfl/dotty/pull/5975)