Fix doc links to erased terms

docs/_includes/features.html

@@ -77,7 +77,7 @@ <h1 id="so-features">So, features?</h1>
                         <td>Implemented</td>
                     </tr>
                     <tr>
-                        <td><a href="http://dotty.epfl.ch/docs/reference/other-new-features/erased-terms.html">Erased Terms</a></td>
+                        <td><a href="http://dotty.epfl.ch/docs/reference/metaprogramming/erased-terms.html">Erased Terms</a></td>
                         <td>Implemented</td>
                     </tr>
                     <tr>

docs/blog/_posts/2018-03-05-seventh-dotty-milestone-release.md

@@ -99,7 +99,7 @@ The implicit evidence `ev` is only used to constrain the type parameter `X` of `
 can safely cast from `X` to `List[_]`. The usage of the `erased` modifier ensures that the evidence
 is not used and can be safely removed at compilation time.
 
-For more information, visit the [Erased Terms](http://dotty.epfl.ch/docs/reference/erased-terms.html)
+For more information, visit the [Erased Terms](http://dotty.epfl.ch/docs/reference/metaprogramming/erased-terms.html)
 section of our documentation.
 
 **Note**: Erased terms replace _phantom types_: they have similar semantics, but with the added

docs/docs/reference/features-classification.md

@@ -175,7 +175,7 @@ by itself a straightforward implementation of some simple macros and is at the s
 - [Quotes and Splices](https://dotty.epfl.ch/docs/reference/metaprogramming/macros.html) provide a principled way to express macros and staging with a unified set of abstractions.
 - [Typeclass derivation](https://dotty.epfl.ch/docs/reference/contextual/derivation.html) provides an in-language implementation of the `Gen` macro in Shapeless and other foundational libraries. The new implementation is more robust, efficient and easier to use than the macro.
 - [Implicit by-name parameters](https://dotty.epfl.ch/docs/reference/contextual/inferable-by-name-parameters.html) provide a more robust in-language implementation of the `Lazy` macro in Shapeless.
-- [Erased Terms](https://dotty.epfl.ch/docs/reference/other-new-features/erased-terms.html) provide a general mechanism for compile-time-only computations.
+- [Erased Terms](https://dotty.epfl.ch/docs/reference/metaprogramming/erased-terms.html) provide a general mechanism for compile-time-only computations.
 
 **Status: not yet settled**
 

docs/docs/reference/overview.md

@@ -126,7 +126,7 @@ by itself a straightforward implementation of some simple macros and is at the s
 - [Quotes and Splices](https://dotty.epfl.ch/docs/reference/metaprogramming/macros.html) provide a principled way to express macros and staging with a unified set of abstractions.
 - [Typeclass derivation](https://dotty.epfl.ch/docs/reference/contextual/derivation.html) provides an in-language implementation of the `Gen` macro in Shapeless and other foundational libraries. The new implementation is more robust, efficient and easier to use than the macro.
 - [Implicit by-name parameters](https://dotty.epfl.ch/docs/reference/contextual/inferable-by-name-parameters.html) provide a more robust in-language implementation of the `Lazy` macro in Shapeless.
-- [Erased Terms](https://dotty.epfl.ch/docs/reference/other-new-features/erased-terms.html) provide a general mechanism for compile-time-only computations.
+- [Erased Terms](https://dotty.epfl.ch/docs/reference/metaprogramming/erased-terms.html) provide a general mechanism for compile-time-only computations.
 
 ## See Also
 

docs/sidebar.yml

@@ -95,8 +95,6 @@ sidebar:
               url: docs/reference/other-new-features/opaques.html
             - title: Parameter Untupling
               url: docs/reference/other-new-features/parameter-untupling.html
-            - title: Erased Terms
-              url: docs/reference/other-new-features/erased-terms.html
             - title: Kind Polymorphism
               url: docs/reference/other-new-features/kind-polymorphism.html
             - title: Tupled Function