diff --git a/.github/workflows/ci-idris2-and-libs.yml b/.github/workflows/ci-idris2-and-libs.yml
index 95e5b1902..107580624 100644
--- a/.github/workflows/ci-idris2-and-libs.yml
+++ b/.github/workflows/ci-idris2-and-libs.yml
@@ -761,6 +761,7 @@ jobs:
           ./katla.sh
           cd -
           cp -r www/html/* .github/scripts/html/
+          cp www/source/idris-logo-base.png .github/scripts/html/
       - name: Deploy HTML
         uses: JamesIves/github-pages-deploy-action@v4.4.3
         if: ${{ success() && env.IDRIS2_DEPLOY }}
diff --git a/www/source/idris-logo-base.png b/www/source/idris-logo-base.png
new file mode 100644
index 000000000..5577e2983
Binary files /dev/null and b/www/source/idris-logo-base.png differ
diff --git a/www/source/index.md b/www/source/index.md
index 21687149b..6e1542e8d 100644
--- a/www/source/index.md
+++ b/www/source/index.md
@@ -1,6 +1,3 @@
-Welcome to Idris2!
-==================
-
 <style>
 body {
   width: 80%;
@@ -15,6 +12,10 @@ pre code {
 }
 </style>
 
+<img src="idris-logo-base.png" style="float:right" alt="Idris 2 logo"/>
+Welcome to Idris2!
+==================
+
 [Idris](https://www.idris-lang.org/) is a programming language designed to encourage
 _Type-Driven Development_.
 
@@ -77,6 +78,12 @@ can pass the `-p contrib` option to `idris2`.
 `linear` is the add-on to `base` you'll need for programs using linearity. Similarly to `contrib`,
 you will need to pass `-p linear` to `idris2` to use modules defined in it.
 
+#### [Network](https://idris-lang.github.io/Idris2/network)
+
+`network` is the add-on to `base` you'll need for programs using sockets.
+Similarly to `contrib` and `linear`, you will need to pass `-p network`
+to `idris2` to use modules defined in it.
+
 #### [Papers](https://idris-lang.github.io/Idris2/papers)
 
 `papers` is not installed by default.