Docs: simplify install instructions

Signed-off-by: Solomon Hykes <solomon@dagger.io>

docs/install.md

@@ -1,15 +1,6 @@
 # Installing or upgrading Dagger
 
-## Summary
+## Option 1: Use Homebrew (Mac OS only)
-
-- [Installing or upgrading Dagger](#installing-or-upgrading-dagger)
-  - [Summary](#summary)
-  - [Option 1 (Mac OS only): install or upgrade from Homebrew](#option-1-mac-os-only-install-or-upgrade-from-homebrew)
-  - [Option 2: install or upgrade from a shell script](#option-2-install-or-upgrade-from-a-shell-script)
-  - [Option 3: Manually fetch the latest binary release from Github](#option-3-manually-fetch-the-latest-binary-release-from-github)
-  - [Option 4: Compile from source](#option-4-compile-from-source)
-
-## Option 1 (Mac OS only): install or upgrade from Homebrew
 
 From your Mac OS terminal, run the following command:
 
@@ -23,9 +14,7 @@ If dagger is already installed, you can upgrade it using this command:
 brew update; brew upgrade dagger
 ```
 
-> :bulb: Verify the installation with `dagger version`.
+## Option 2: Run a shell script
-
-## Option 2: install or upgrade from a shell script
 
 From a terminal, run the following command:
 
@@ -41,17 +30,13 @@ You can then install it globally on your system:
 sudo mv ./bin/dagger /usr/local/bin
 ```
 
-> :bulb: Verify the installation with `dagger version`.
+## Option 3: Download a binary release
-
-## Option 3: Manually fetch the latest binary release from Github
 
 Open your web browser to [the latest release](https://github.com/dagger/dagger/releases/latest).
 
 From the **assets** section, download the archive corresponding to your OS and Arch.
 
-> :bulb: Verify the installation with `dagger version`.
+## Option 4: Install from source
-
-## Option 4: Compile from source
 
 You will need [Go](https://golang.org) version 1.16 or later.
 
@@ -72,5 +57,3 @@ cd dagger; make
 ```shell
 cp ./cmd/dagger/dagger /usr/local/bin
 ```
-
-> :bulb: Verify the installation with `dagger version`.

docs/sidebar/sidebar.yml

@@ -3,7 +3,7 @@
 - label: Introduction
   link: "/"
 
-- label: "Getting started"
+- label: "Install Dagger"
   link: "/install"
 
 - label: "Dagger vs. Other software"
@@ -16,7 +16,7 @@
     - label: "Operator Manual"
       link: "/operator"
 
-- label: More
+- label: Community
   items:
     - label: "GitHub"
       link: https://github.com/dagger/dagger