diff --git a/docs/getting-started.rst b/docs/getting-started.rst
index 0f9819d..38ea1c7 100644
--- a/docs/getting-started.rst
+++ b/docs/getting-started.rst
@@ -5,12 +5,16 @@ To begin using F4PGA, you might want to take a look at the tutorials below, whic
 They will guide you through the process of using the toolchain, explaining how to generate and load a bitstream into
 your FPGA.
 
-* User guide and examples how to use the toolchain:
+* `Examples ➚ <https://f4pga-examples.readthedocs.io>`__ (for users)
 
-  * `Examples ➚ <https://f4pga-examples.readthedocs.io>`__ (for users)
-  * `Architecture Definitions ➚ <https://f4pga.readthedocs.io/projects/arch-defs/en/latest/getting-started.html>`__ (for developers)
+* `Architecture Definitions ➚ <https://f4pga.readthedocs.io/projects/arch-defs/en/latest/getting-started.html>`__ (for developers)
 
-* Other resources:
-
-  * `X-Ray Quickstart ➚ <https://f4pga.readthedocs.io/projects/prjxray/en/latest/db_dev_process/readme.html#quickstart-guide>`__
   * `F4PGA Architectures Visualizer ➚ <https://chipsalliance.github.io/f4pga-database-visualizer/>`__
+
+  * `Project X-Ray ➚ <https://f4pga.readthedocs.io/projects/prjxray/en/latest/>`__
+
+    * `X-Ray Quickstart ➚ <https://f4pga.readthedocs.io/projects/prjxray/en/latest/db_dev_process/readme.html#quickstart-guide>`__
+
+  * `Project Trellis ➚ <https://prjtrellis.readthedocs.io/en/latest/>`__
+
+  * `Project Icestorm ➚ <https://github.com/f4pga/icestorm>`__
diff --git a/docs/index.rst b/docs/index.rst
index 50189ca..81a687d 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -34,9 +34,6 @@ The project aim is to design tools that are highly extendable and multiplatform.
 
   yosys
   VPR ➚ <https://docs.verilogtorouting.org/en/latest/vpr/>
-  Architecture Definitions ➚ <https://f4pga.readthedocs.io/projects/arch-defs/en/latest/>
-  Project X-Ray ➚ <https://f4pga.readthedocs.io/projects/prjxray/en/latest/>
-  Project Trellis ➚ <https://prjtrellis.readthedocs.io/en/latest/>
 
 .. toctree::
   :caption: Contributing