diff --git a/.openpublishing.redirection.csharp.json b/.openpublishing.redirection.csharp.json
index 56820abeb011c..58cb4c23ff960 100644
--- a/.openpublishing.redirection.csharp.json
+++ b/.openpublishing.redirection.csharp.json
@@ -1,5 +1,17 @@
 {
     "redirections": [
+        {
+            "source_path_from_root": "/_csharplang/proposals/csharp-7.0/binary-literals.md",
+            "redirect_url": "/dotnet/csharp/language-reference/language-specification/lexical-structure#6453-integer-literals"
+        },
+        {
+            "source_path_from_root": "/_csharplang/proposals/csharp-7.0/digit-separators.md",
+            "redirect_url": "/dotnet/csharp/language-reference/language-specification/lexical-structure#6453-integer-literals"
+        },
+        {
+            "source_path_from_root": "/_csharplang/proposals/csharp-7.3/leading-digit-separator.md",
+            "redirect_url": "/dotnet/csharp/language-reference/language-specification/lexical-structure#6453-integer-literals"
+        },
         {
             "source_path_from_root": "/docs/csharp/basic-types.md",
             "redirect_url": "/dotnet/csharp/fundamentals/types"
diff --git a/docfx.json b/docfx.json
index da038f447bb1f..1adceba66c8e5 100644
--- a/docfx.json
+++ b/docfx.json
@@ -39,10 +39,13 @@
                     "inactive/**",
                     "rejected/**",
                     "csharp-6.0/enum-base-type.md",
+                    "csharp-7.0/binary-literals.md",
+                    "csharp-7.0/digit-separators.md",
                     "csharp-7.0/expression-bodied-everything.md",
                     "csharp-7.0/ref-locals-returns.md",
                     "csharp-7.0/tuples.md",
                     "csharp-7.0/value-task.md",
+                    "csharp-7.2/leading-separator.md",
                     "csharp-7.2/readonly-struct.md",
                     "csharp-7.2/ref-extension-methods.md",
                     "csharp-7.2/ref-struct-and-span.md",
diff --git a/docs/csharp/index.yml b/docs/csharp/index.yml
index 843d9a1a4bb1f..632559217d860 100644
--- a/docs/csharp/index.yml
+++ b/docs/csharp/index.yml
@@ -161,7 +161,7 @@ landingContent:
             url: language-reference/operators/index.md
           - text: Configure language version
             url: language-reference/configure-language-version.md
-          - text: "C# language specification"
+          - text: "C# language specification - C# 7 draft in progress"
             url: ../../_csharpstandard/standard/README.md
 
   - title: "Stay in touch"
diff --git a/docs/csharp/toc.yml b/docs/csharp/toc.yml
index 5d310580bc73c..31cdba2a18988 100644
--- a/docs/csharp/toc.yml
+++ b/docs/csharp/toc.yml
@@ -1288,7 +1288,7 @@ items:
     href: language-reference/compiler-messages/index.md
 - name: Specifications
   items:
-  - name: C# 6.0 draft specification
+  - name: C# 7 draft specification
     items:
     - name: Detailed table of contents
       href: ../../_csharpstandard/standard/README.md
@@ -1362,10 +1362,6 @@ items:
         href: ../../_csharplang/proposals/csharp-7.0/out-var.md
       - name: Throw expressions
         href: ../../_csharplang/proposals/csharp-7.0/throw-expression.md
-      - name: Binary literals
-        href: ../../_csharplang/proposals/csharp-7.0/binary-literals.md
-      - name: Digit separators
-        href: ../../_csharplang/proposals/csharp-7.0/digit-separators.md
       - name: Async task types
         href: ../../_csharplang/proposals/csharp-7.0/task-types.md
     - name: C# 7.1 features
@@ -1390,8 +1386,6 @@ items:
         href: ../../_csharplang/proposals/csharp-7.2/private-protected.md
       - name: Conditional ref
         href: ../../_csharplang/proposals/csharp-7.2/conditional-ref.md
-      - name: Leading digit separator
-        href: ../../_csharplang/proposals/csharp-7.2/leading-separator.md
     - name: C# 7.3 features
       items:
       - name: Unmanaged generic type constraints