Consequently name pages about extensions

benjaoming · benjaoming · commit b08e0d4265af · 2022-07-22T18:05:31.000+02:00
diff --git a/docs/intersphinx.md b/docs/intersphinx.md
@@ -1,4 +1,4 @@
-# Intersphinx
+# Intersphinx: Cross-reference other projects
 
 Behind the built-in Sphinx extension `intersphinx` is a powerful tool to reference sections in other Sphinx and Jupyter Book documentation projects.
 
diff --git a/docs/sphinx-examples.md b/docs/sphinx-examples.md
@@ -1,4 +1,4 @@
-# Examples boxes with sphinx-examples
+# sphinx-examples: Code examples simplified
 
 In this example project, we have enabled the extension `sphinx-examples` in `_config.yml` to be able to display source code alongside its rendered result.
 
diff --git a/docs/sphinx-hoverxref.md b/docs/sphinx-hoverxref.md
@@ -1,4 +1,4 @@
-# sphinx-hoverxref - preview cross-references
+# sphinx-hoverxref: Preview tooltips for cross-references
 
 Using `sphinx-hoverxref`, we can preview cross-references in the documentation.
 
diff --git a/docs/sphinx-proof.md b/docs/sphinx-proof.md
@@ -1,6 +1,7 @@
-# Write proofs with sphinx-proof
+# sphinx-proof: advanced proofs, theorems &amp; more...
 
-Easily render proofs, theorems, axioms, lemmas, definitions and much more with `sphinx-proof`. Read more in the [documentation of sphinx-proof](sphinxproof:syntax).
+Easily render proofs, theorems, axioms, lemmas, definitions and much more with `sphinx-proof`.
+Read more in the [documentation of sphinx-proof](sphinxproof:syntax).
 
 ````{prf:proof}
 We'll omit the full proof.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# Intersphinx`
	`1`	`+# Intersphinx: Cross-reference other projects`
`2`	`2`
`3`	`3`	Behind the built-in Sphinx extension `intersphinx` is a powerful tool to reference sections in other Sphinx and Jupyter Book documentation projects.
`4`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# Examples boxes with sphinx-examples`
	`1`	`+# sphinx-examples: Code examples simplified`
`2`	`2`
`3`	`3`	In this example project, we have enabled the extension `sphinx-examples` in `_config.yml` to be able to display source code alongside its rendered result.
`4`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# sphinx-hoverxref - preview cross-references`
	`1`	`+# sphinx-hoverxref: Preview tooltips for cross-references`
`2`	`2`
`3`	`3`	Using `sphinx-hoverxref`, we can preview cross-references in the documentation.
`4`	`4`