diff --git a/doc/_templates/index.html b/doc/_templates/index.html
index 45581e0f1..2016ea9f6 100644
--- a/doc/_templates/index.html
+++ b/doc/_templates/index.html
@@ -34,6 +34,9 @@
{%trans path=pathto('extensions')%}Extensions: automatic testing of code snippets, inclusion of
docstrings from Python modules (API docs), and
more{%endtrans%}
+ {%trans path=pathto('develop')%}Contributed extensions: more than
+ 50 extensions contributed by users
+ in a second repository; most of them installable from PyPI{%endtrans%}
{%trans%}
Sphinx uses reStructuredText