diff --git a/docs/_includes/features.html b/docs/_includes/features.html
index 01dfa5a04a25..be7fe5e385bc 100644
--- a/docs/_includes/features.html
+++ b/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>
diff --git a/docs/blog/_posts/2018-03-05-seventh-dotty-milestone-release.md b/docs/blog/_posts/2018-03-05-seventh-dotty-milestone-release.md
index 0b43d4d3b22f..fb58769228d9 100644
--- a/docs/blog/_posts/2018-03-05-seventh-dotty-milestone-release.md
+++ b/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
diff --git a/docs/docs/reference/features-classification.md b/docs/docs/reference/features-classification.md
index 8f5342d7e49c..3201a6359e00 100644
--- a/docs/docs/reference/features-classification.md
+++ b/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**
 
diff --git a/docs/docs/reference/overview.md b/docs/docs/reference/overview.md
index 24a0c7db357e..6a79fa5532db 100644
--- a/docs/docs/reference/overview.md
+++ b/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
 
diff --git a/docs/sidebar.yml b/docs/sidebar.yml
index e353ea8d3625..840e5d4c6de2 100644
--- a/docs/sidebar.yml
+++ b/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