diff --git a/docs/_docs/release-notes/0.1.2.md b/docs/_docs/release-notes-0.1.2.md
similarity index 99%
rename from docs/_docs/release-notes/0.1.2.md
rename to docs/_docs/release-notes-0.1.2.md
index 4dbd5df16a67..aebfceaf5c45 100644
--- a/docs/_docs/release-notes/0.1.2.md
+++ b/docs/_docs/release-notes-0.1.2.md
@@ -1,6 +1,7 @@
 ---
 layout: doc-page
 title: 0.1.2 release notes
+redirectFrom: /docs/release-notes/0.1.2.html
 ---
 
 0.1.2 will be the first public release of Dotty.
diff --git a/docs/sidebar.yml b/docs/sidebar.yml
index 101de48b79bf..1dba1b199450 100644
--- a/docs/sidebar.yml
+++ b/docs/sidebar.yml
@@ -188,3 +188,5 @@ subsection:
       - page: internals/type-system.md
       - page: internals/dotty-internals-1-notes.md
       - page: internals/debug-macros.md
+  - page: release-notes-0.1.2.md
+    hidden: true