patchlevel
diff --git a/‎docs/index.md‎ ‎docs/introduction.md‎docs/index.md renamed to docs/introduction.md b/‎docs/index.md‎ ‎docs/introduction.md‎docs/index.md renamed to docs/introduction.md
diff --git a/‎docs/project.json‎
Lines changed: 1 addition & 1 deletion b/‎docs/project.json‎
Lines changed: 1 addition & 1 deletion
@@ -2,7 +2,7 @@
   "navigation": [
     {
       "title": "Introduction",
-      "file": "index.md"
+      "file": "introduction.md"
     },
     {
       "title": "Getting Started",
Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@`
`2`	`2`	`"navigation": [`
`3`	`3`	`{`
`4`	`4`	`"title": "Introduction",`
`5`		`- "file": "index.md"`
	`5`	`+ "file": "introduction.md"`
`6`	`6`	`},`
`7`	`7`	`{`
`8`	`8`	`"title": "Getting Started",`