diff --git a/Documentation/developer/guide/misc/index.rst b/Documentation/developer/guide/misc/index.rst
index 5bc9aae35..8a0f5083c 100644
--- a/Documentation/developer/guide/misc/index.rst
+++ b/Documentation/developer/guide/misc/index.rst
@@ -5,7 +5,6 @@ Miscellaneous
 .. toctree::
    :maxdepth: 1
 
-   extensions
    ieee1364-notes
    swift
    xilinx-hint
diff --git a/Documentation/developer/guide/misc/extensions.rst b/Documentation/usage/icarus_verilog_extensions.rst
similarity index 100%
rename from Documentation/developer/guide/misc/extensions.rst
rename to Documentation/usage/icarus_verilog_extensions.rst
diff --git a/Documentation/usage/index.rst b/Documentation/usage/index.rst
index 9601baa54..db5c0b040 100644
--- a/Documentation/usage/index.rst
+++ b/Documentation/usage/index.rst
@@ -2,8 +2,7 @@
 Icarus Verilog Usage
 ====================
 
-This section contains documents to help support developers who contribute to
-Icarus Verilog.
+This section contains documents to help support Icarus Verilog users.
 
 .. toctree::
    :maxdepth: 1
@@ -20,5 +19,6 @@ Icarus Verilog.
    vhdlpp_flags
    gtkwave
    vpi
+   icarus_verilog_extensions
    icarus_verilog_quirks
    reporting_issues