diff --git a/mlir/docs/Diagnostics.md b/mlir/docs/Diagnostics.md
--- a/mlir/docs/Diagnostics.md
+++ b/mlir/docs/Diagnostics.md
@@ -1,4 +1,4 @@
-# Introduction and Usage Guide to MLIR's Diagnostics Infrastructure
+# Diagnostic Infrastructure
 
 [TOC]
 
diff --git a/mlir/docs/Interfaces.md b/mlir/docs/Interfaces.md
--- a/mlir/docs/Interfaces.md
+++ b/mlir/docs/Interfaces.md
@@ -1,4 +1,4 @@
-# Introduction to MLIR Interfaces
+# MLIR Interfaces
 
 MLIR is generic and very extensible; it allows for opaquely representing many
 different dialects that have their own operations, attributes, types, and so on.
diff --git a/mlir/docs/LangRef.md b/mlir/docs/LangRef.md
--- a/mlir/docs/LangRef.md
+++ b/mlir/docs/LangRef.md
@@ -1,4 +1,4 @@
-# MLIR Specification
+# MLIR Language Reference
 
 MLIR (Multi-Level IR) is a compiler intermediate representation with
 similarities to traditional three-address SSA representations (like
diff --git a/mlir/docs/WritingAPass.md b/mlir/docs/PassManagement.md
rename from mlir/docs/WritingAPass.md
rename to mlir/docs/PassManagement.md
--- a/mlir/docs/WritingAPass.md
+++ b/mlir/docs/PassManagement.md
@@ -1,4 +1,4 @@
-# Writing a Pass
+# Pass Infrastructure
 
 [TOC]
 
diff --git a/mlir/docs/MLIRForGraphAlgorithms.md b/mlir/docs/Rationale/MLIRForGraphAlgorithms.md
rename from mlir/docs/MLIRForGraphAlgorithms.md
rename to mlir/docs/Rationale/MLIRForGraphAlgorithms.md
diff --git a/mlir/docs/Rationale.md b/mlir/docs/Rationale/Rationale.md
rename from mlir/docs/Rationale.md
rename to mlir/docs/Rationale/Rationale.md
diff --git a/mlir/docs/RationaleLinalgDialect.md b/mlir/docs/Rationale/RationaleLinalgDialect.md
rename from mlir/docs/RationaleLinalgDialect.md
rename to mlir/docs/Rationale/RationaleLinalgDialect.md
diff --git a/mlir/docs/RationaleSimplifiedPolyhedralForm.md b/mlir/docs/Rationale/RationaleSimplifiedPolyhedralForm.md
rename from mlir/docs/RationaleSimplifiedPolyhedralForm.md
rename to mlir/docs/Rationale/RationaleSimplifiedPolyhedralForm.md
diff --git a/mlir/docs/UsageOfConst.md b/mlir/docs/Rationale/UsageOfConst.md
rename from mlir/docs/UsageOfConst.md
rename to mlir/docs/Rationale/UsageOfConst.md
diff --git a/mlir/docs/ShapeInference.md b/mlir/docs/ShapeInference.md
--- a/mlir/docs/ShapeInference.md
+++ b/mlir/docs/ShapeInference.md
@@ -1,4 +1,4 @@
-# Shape inference
+# Shape Inference
 
 Shape inference as discussed here is considered a specific instance of type
 inference for [ShapedType][ShapedType]. Type constraints are along (at least)
diff --git a/mlir/docs/Traits.md b/mlir/docs/Traits.md
--- a/mlir/docs/Traits.md
+++ b/mlir/docs/Traits.md
@@ -1,4 +1,4 @@
-# Introduction to MLIR Operation Traits
+# MLIR Operation Traits
 
 [TOC]
 
diff --git a/mlir/docs/CreatingADialect.md b/mlir/docs/Tutorials/CreatingADialect.md
rename from mlir/docs/CreatingADialect.md
rename to mlir/docs/Tutorials/CreatingADialect.md
diff --git a/mlir/docs/DefiningAttributesAndTypes.md b/mlir/docs/Tutorials/DefiningAttributesAndTypes.md
rename from mlir/docs/DefiningAttributesAndTypes.md
rename to mlir/docs/Tutorials/DefiningAttributesAndTypes.md
--- a/mlir/docs/DefiningAttributesAndTypes.md
+++ b/mlir/docs/Tutorials/DefiningAttributesAndTypes.md
@@ -1,4 +1,4 @@
-# Quickstart tutorial to defining custom dialect attributes and types
+# Defining Dialect Attributes and Types
 
 This document is a quickstart to defining dialect specific extensions to the
 [attribute](LangRef.md#attributes) and [type system](LangRef.md#type-system).
diff --git a/mlir/docs/QuickstartRewrites.md b/mlir/docs/Tutorials/QuickstartRewrites.md
rename from mlir/docs/QuickstartRewrites.md
rename to mlir/docs/Tutorials/QuickstartRewrites.md