5 files changed, 3 insertions, 3 deletions

diff --git a/docs/admin/filtron.rst b/docs/admin/filtron.rst
index 9587d76cb..f08149ae9 100644
--- a/docs/admin/filtron.rst
+++ b/docs/admin/filtron.rst
@@ -23,7 +23,7 @@ it is advised to limit the number of requests processed by SearXNG.
 
 An application firewall, filtron_ solves exactly this problem.  Filtron is just
 a middleware between your web server (nginx, apache, ...) and searx, we describe
-such infratructures in chapter: :ref:`architecture`.
+such infrastructures in chapter: :ref:`architecture`.
 
 
 filtron & go
diff --git a/docs/dev/index.rst b/docs/dev/index.rst
index 93c914bbb..39be0885c 100644
--- a/docs/dev/index.rst
+++ b/docs/dev/index.rst
@@ -16,3 +16,4 @@ Developer documentation
    lxcdev
    makefile
    reST
+   searxng_extra/index
diff --git a/docs/searxng_extra/index.rst b/docs/dev/searxng_extra/index.rst
index a98c358f2..f38bb3154 100644
--- a/docs/searxng_extra/index.rst
+++ b/docs/dev/searxng_extra/index.rst
@@ -5,7 +5,7 @@ Tooling box ``searxng_extra`` for developers and users
 ======================================================
 
 In the folder :origin:`searxng_extra/` we maintain some tools useful for
-developers and users.
+developers.
 
 .. toctree::
    :maxdepth: 2
diff --git a/docs/searxng_extra/standalone_searx.py.rst b/docs/dev/searxng_extra/standalone_searx.py.rst
index 7cbbccfde..7cbbccfde 100644
--- a/docs/searxng_extra/standalone_searx.py.rst
+++ b/docs/dev/searxng_extra/standalone_searx.py.rst
diff --git a/docs/index.rst b/docs/index.rst
index 7100d4ed1..f9800f95b 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -33,7 +33,6 @@ If you don't trust anyone, you can set up your own, see :ref:`installation`.
    user/index
    admin/index
    dev/index
-   searxng_extra/index
    utils/index
    src/index