diff --git a/developer/general/how-to-edit-the-documentation.md b/developer/general/how-to-edit-the-documentation.md
index f8e5cab7..4d0d6e3c 100644
--- a/developer/general/how-to-edit-the-documentation.md
+++ b/developer/general/how-to-edit-the-documentation.md
@@ -125,9 +125,8 @@ pull request, we'll post a comment explaining why we can't.
 ## How to edit the documentation index
 
 The source file for the [documentation index (a.k.a. table of contents)](/doc/)
-lives here:
-
-<https://github.com/QubesOS/qubesos.github.io/blob/master/_data/doc-index.yml>
+is
+[_data/doc-index.yml](https://github.com/QubesOS/qubesos.github.io/blob/master/_data/doc-index.yml).
 
 Editing this file will change what appears on the documentation index. If your
 pull request (PR) adds, removes, or edits anything that should be reflected in