From 2fff9ffd7cc87788ecc103aa0fbad72adc9af7f0 Mon Sep 17 00:00:00 2001
From: Perelyn <64838956+Perelyn-sama@users.noreply.github.com>
Date: Fri, 28 Jul 2023 21:10:14 +0100
Subject: [PATCH] Fix typos and add list to installation page

---
 book/src/introduction/portal_network.md | 4 ++--
 book/src/users/installation.md          | 7 ++++++-
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/book/src/introduction/portal_network.md b/book/src/introduction/portal_network.md
index 0eae7b31f..358ed92e7 100644
--- a/book/src/introduction/portal_network.md
+++ b/book/src/introduction/portal_network.md
@@ -10,7 +10,7 @@ The portal network is a response to two needs. Users should have the ability to:
 
 [EIP-4444: Bound Historical Data in Execution Clients](https://eips.ethereum.org/EIPS/eip-4444)
 is an upgrade that seeks to limit the costs of participating in the network. It does this
-by allowing by clearing data older than 1 year.
+by allowing the clearing of data older than 1 year.
 
 ## How the Portal network works
 
@@ -52,7 +52,7 @@ graph LR;
 ```
 
 ### Standard requests
-Node each have a name, and only hold data that is similar to that name. Peers can tell who
+Each node has a name, and only holds data that is similar to that name. Peers can tell who
 is likely to have what data based on these names.
 ```mermaid
 sequenceDiagram
diff --git a/book/src/users/installation.md b/book/src/users/installation.md
index f0c8972b1..d9771aff5 100644
--- a/book/src/users/installation.md
+++ b/book/src/users/installation.md
@@ -1,4 +1,9 @@
 # Installation
 
 The following are guides for installation on different platforms.
-Other methods may be used as appropriate.
\ No newline at end of file
+Other methods may be used as appropriate.
+
+* [Mac OS](./installation/mac_os.md)
+* [Linux](./installation/linux.md)
+* [Raspberry Pi](./installation/raspberry_pi.md)
+* [Windows](./installation/windows.md)
\ No newline at end of file