25 files changed, 5 insertions, 140 deletions
diff --git a/docs/bsd/freebsd.md b/docs/bsd/freebsd.md
index adec3672..f83f3dba 100644
--- a/docs/bsd/freebsd.md
+++ b/docs/bsd/freebsd.md
@@ -24,8 +24,6 @@ with libreboot.
 -   [Configuring Grub](#configuring_grub)
 -   [Troubleshooting](#troubleshooting)
 
-[Back to previous index](./)
-
 **This section is only for the GRUB payload. For depthcharge (used on
 CrOS devices in libreboot), instructions have yet to be written in the
 libreboot documentation.**
diff --git a/docs/bsd/netbsd.md b/docs/bsd/netbsd.md
index d55317c8..4c386b83 100644
--- a/docs/bsd/netbsd.md
+++ b/docs/bsd/netbsd.md
@@ -19,8 +19,6 @@ for the initial instructions.
 -   [Configuring Grub](#configuring_grub)
 -   [Troubleshooting](#troubleshooting)
 
-[Back to previous index](./)
-
 **This section is only for the GRUB payload. For depthcharge (used on
 CrOS devices in libreboot), instructions have yet to be written in the
 libreboot documentation.**
diff --git a/docs/bsd/openbsd.md b/docs/bsd/openbsd.md
index b7713cc8..5fe4ee45 100644
--- a/docs/bsd/openbsd.md
+++ b/docs/bsd/openbsd.md
@@ -18,8 +18,6 @@ your libreboot system, using nothing more than a USB flash drive (and
 -   [Configuring Grub](#configuring_grub)
 -   [Troubleshooting](#troubleshooting)
 
-[Back to previous index](./)
-
 **This section is only for the GRUB payload. For depthcharge (used on
 CrOS devices in libreboot), instructions have yet to be written in the
 libreboot documentation.**
diff --git a/docs/distros/index.md b/docs/distros/index.md
deleted file mode 100644
index a8292412..00000000
--- a/docs/distros/index.md
+++ /dev/null
@@ -1,79 +0,0 @@
-% List of recommended GNU+Linux distributions for libreboot 
-
-Any distribution should work, so long as it uses kernel mode setting for
-graphics. We recommend using distributions that are entirely free
-software; most distros out there have proprietary software in them, but
-the ones that we recommend do not have proprietary software by default.
-
-[How to install GNU+Linux on a libreboot
-system](../gnulinux/grub_boot_installer.html)
-
-Debian
-------
-
-Most of the developers use it. We recommend Debian stable releases for most
-users. If you want to do development, e.g. libreboot development, then you
-should use the testing release of Debian.
-
-Debian by default comes without non-free software in the default
-installation or repos. There is a non-free repo that's not added by
-default. Just avoid adding this, and you should have a fully free
-system.
-
-[Visit the Debian website](https://www.debian.org/)
-
-We recommend using the *MATE* desktop.
-
-Devuan
-------
-
-Devuan is a fork of Debian that does not use the controversial *systemd*
-init system.
-
-See: <https://www.devuan.org/os/init-freedom/>.
-
-[Visit the Devuan website](https://www.devuan.org/)
-
-We recommend using the *MATE* desktop.
-
-Qubes
------
-
-Security-focussed distribution. It makes heavy use of IOMMU and hardware
-virtualization to separate running applications, along with other
-security features. Provides a full hypervisor for running applications.
-
-Also heavily in favour of adoption of both Libreboot and Coreboot.
-
-**Of all available Libreboot systems, Qubes is currently only known to
-be compatible with the ASUS KGPE-D16 and KCMA-D8, due to the hardware
-virtualization requirement (and even on those boards, only certain CPUs
-have fully functional virtualization in Libreboot).**
-
-[Visit the Qubes website](https://www.qubes-os.org/)
-
-Dragora
--------
-
-Fully free distribution, with a focus on simple package management and
-configuration. Experienced users might like this distro. It also has
-native support for multiple languages.
-
-[Visit the Dragora website](https://dragora.org/)
-
-Parabola
---------
-
-Fully free bleeding edge distribution, based on the *Arch* distribution.
-Good for saavy users and developers in general (some libreboot
-developers use this).
-
-Arch users, refer to the [Parabola migration
-guide](https://wiki.parabola.nu/Migration_from_the_GNU+Linux_distribution_of_Arch).
-
-[Visit the Parabola website](https://www.parabola.nu/)
-
-We recommend using the *MATE* desktop.
-
-Copyright © 2016 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
diff --git a/docs/gnulinux/configuring_parabola.md b/docs/gnulinux/configuring_parabola.md
index c7bcbc8e..efe15419 100644
--- a/docs/gnulinux/configuring_parabola.md
+++ b/docs/gnulinux/configuring_parabola.md
@@ -5,8 +5,6 @@ Parabola is extremely flexible; this is just an example. This example
 uses LXDE because it's lightweight, but we recommend the *MATE* desktop
 (which is actually about as lightweight as LXDE).
 
-[Back to previous index](./)
-
 Table of Contents
 =================
 
diff --git a/docs/gnulinux/encrypted_debian.md b/docs/gnulinux/encrypted_debian.md
index 5dad4012..a0b74b51 100644
--- a/docs/gnulinux/encrypted_debian.md
+++ b/docs/gnulinux/encrypted_debian.md
@@ -41,8 +41,6 @@ Note: on some thinkpads, a faulty DVD drive can cause the cryptomount -a
 step during boot to fail. If this happens to you, try removing the
 drive.
 
-[Back to previous index](./)
-
 Set a strong user password (lots of lowercase/uppercase, numbers and
 symbols).
 
diff --git a/docs/gnulinux/encrypted_parabola.md b/docs/gnulinux/encrypted_parabola.md
index e4b3f98f..d1355907 100644
--- a/docs/gnulinux/encrypted_parabola.md
+++ b/docs/gnulinux/encrypted_parabola.md
@@ -30,8 +30,6 @@ Note: on some thinkpads, a faulty DVD drive can cause the cryptomount -a
 step during boot to fail. If this happens to you, try removing the
 drive.
 
-[Back to previous index](./)
-
 Boot Parabola's install environment. [How to boot a GNU+Linux
 installer](grub_boot_installer.html).
 
diff --git a/docs/gnulinux/grub_boot_installer.md b/docs/gnulinux/grub_boot_installer.md
index 35b076b9..becd803e 100644
--- a/docs/gnulinux/grub_boot_installer.md
+++ b/docs/gnulinux/grub_boot_installer.md
@@ -4,7 +4,6 @@ This section relates to preparing, booting and installing a GNU+Linux
 distribution on your libreboot system, using nothing more than a USB
 flash drive (and *dd*).
 
--   [List of recommended GNU+Linux distributions](../distros)
 -   [Prepare the USB drive (in GNU+Linux)](#prepare)
 -   [Installing GNU+Linux with full disk encryption](#encryption)
 -   [Debian or Devuan net install?](#debian_netinstall)
@@ -12,8 +11,6 @@ flash drive (and *dd*).
 -   [Booting ISOLINUX images (manual method)](#manual_isolinux)
 -   [Troubleshooting](#troubleshooting)
 
-[Back to previous index](./)
-
 **This section is only for the GRUB payload. For depthcharge (used on
 CrOS devices in libreboot), instructions have yet to be written in the
 libreboot documentation.**
diff --git a/docs/gnulinux/grub_cbfs.md b/docs/gnulinux/grub_cbfs.md
index b6625b3f..b590a9d1 100644
--- a/docs/gnulinux/grub_cbfs.md
+++ b/docs/gnulinux/grub_cbfs.md
@@ -25,8 +25,6 @@ Here is an excellent writeup about CBFS (coreboot filesystem):
 **This guide is \*only\* for the GRUB payload. If you use the
 depthcharge payload, ignore this section entirely.**
 
-[Back to previous index](./)
-
 Table of Contents
 =================
 
diff --git a/docs/gnulinux/grub_hardening.md b/docs/gnulinux/grub_hardening.md
index 529cb2a1..15fecb41 100644
--- a/docs/gnulinux/grub_hardening.md
+++ b/docs/gnulinux/grub_hardening.md
@@ -4,8 +4,6 @@ This guide deals with various ways in which you can harden your GRUB
 configuration, for security purposes. These steps are optional, but
 highly recommended by the Libreboot project.
 
-[Back to previous index](./)
-
 GRUB secure boot with GPG
 =========================
 
diff --git a/docs/hcl/c201.md b/docs/hcl/c201.md
index c5575b3c..608d1ed8 100644
--- a/docs/hcl/c201.md
+++ b/docs/hcl/c201.md
@@ -14,13 +14,10 @@ confirmed to work.**
 Flashing instructions can be found at
 [../install/\#flashrom](../install/#flashrom)
 
-[Back to previous index](./).
-
 -   [Google's intent with CrOS devices](#googlesintent)
 -   [Considerations about ChromeOS and free operating systems](#os)
 -   [Caution: Video acceleration requires a non-free blob, software
     rendering can be used instead.](#videoblobs)
-
 -   [Caution: WiFi requires a non-free blob, a USB dongle can be used
     instead.](#wifiblobs)
 -   [EC firmware is free software!](#ec)
@@ -66,9 +63,6 @@ comes with proprietary software. It's designed for SaaSS. Libreboot
 recommends that users of this laptop replace it with another
 distribution.
 
-Use one of the distributions recommend by the libreboot project. See
-[../distros/](../distros/)
-
 Debian GNU+Linux
 ----------------
 
diff --git a/docs/hcl/gm45_remove_me.md b/docs/hcl/gm45_remove_me.md
index a91406c5..749d42a3 100644
--- a/docs/hcl/gm45_remove_me.md
+++ b/docs/hcl/gm45_remove_me.md
@@ -24,8 +24,6 @@ More information about the ME can be found at
 
 Another project recently found: <http://io.smashthestack.org/me/>
 
-[Back to previous index](./).
-
 ICH9 gen utility {#ich9gen}
 ================
 
diff --git a/docs/hcl/kcma-d8.md b/docs/hcl/kcma-d8.md
index 81550376..e278bc63 100644
--- a/docs/hcl/kcma-d8.md
+++ b/docs/hcl/kcma-d8.md
@@ -15,8 +15,6 @@ currently installed. If you already have libreboot, by default it is
 possible to re-flash using software running in GNU+Linux on the kcma-d8,
 without using external hardware.
 
-[Back to previous index](./).
-
 CPU compatibility
 =================
 
diff --git a/docs/hcl/kfsn4-dre.md b/docs/hcl/kfsn4-dre.md
index e5b153d8..9a284bc1 100644
--- a/docs/hcl/kfsn4-dre.md
+++ b/docs/hcl/kfsn4-dre.md
@@ -6,8 +6,6 @@ for building a high-powered workstation. Powered by libreboot.
 Flashing instructions can be found at
 [../install/\#flashrom](../install/#flashrom)
 
-[Back to previous index](./).
-
 Form factor {#formfactor}
 ===========
 
diff --git a/docs/hcl/kgpe-d16.md b/docs/hcl/kgpe-d16.md
index 3612c6e4..7152512d 100644
--- a/docs/hcl/kgpe-d16.md
+++ b/docs/hcl/kgpe-d16.md
@@ -16,8 +16,6 @@ currently installed. If you already have libreboot, by default it is
 possible to re-flash using software running in GNU+Linux on the
 KGPE-D16, without using external hardware.
 
-[Back to previous index](./).
-
 CPU compatibility
 =================
 
diff --git a/docs/hcl/r400.md b/docs/hcl/r400.md
index 9eda74dd..56b60ca8 100644
--- a/docs/hcl/r400.md
+++ b/docs/hcl/r400.md
@@ -17,8 +17,6 @@ modified descriptor: see [gm45\_remove\_me.html](gm45_remove_me.html)**
 Flashing instructions can be found at
 [../install/\#flashrom](../install/#flashrom)
 
-[Back to previous index](./).
-
 EC update {#ecupdate}
 =========
 
diff --git a/docs/hcl/t400.md b/docs/hcl/t400.md
index ab50529e..267e0fd0 100644
--- a/docs/hcl/t400.md
+++ b/docs/hcl/t400.md
@@ -17,8 +17,6 @@ modified descriptor: see [gm45\_remove\_me.html](gm45_remove_me.html)**
 Flashing instructions can be found at
 [../install/\#flashrom](../install/#flashrom)
 
-[Back to previous index](./).
-
 EC update {#ecupdate}
 =========
 
diff --git a/docs/hcl/t500.md b/docs/hcl/t500.md
index 2cc7e475..69fac55e 100644
--- a/docs/hcl/t500.md
+++ b/docs/hcl/t500.md
@@ -17,8 +17,6 @@ modified descriptor: see [gm45\_remove\_me.html](gm45_remove_me.html)**
 Flashing instructions can be found at
 [../install/\#flashrom](../install/#flashrom)
 
-[Back to previous index](./).
-
 EC update {#ecupdate}
 =========
 
diff --git a/docs/hcl/x200.md b/docs/hcl/x200.md
index 105840c7..24c53c85 100644
--- a/docs/hcl/x200.md
+++ b/docs/hcl/x200.md
@@ -20,8 +20,6 @@ modified descriptor: see [gm45\_remove\_me.html](gm45_remove_me.html)**
 Flashing instructions can be found at
 [../install/\#flashrom](../install/#flashrom)
 
-[Back to previous index](./).
-
 EC update {#ecupdate}
 =========
 
diff --git a/docs/index.md b/docs/index.md
index afd6ffd4..099b9883 100644
--- a/docs/index.md
+++ b/docs/index.md
@@ -6,15 +6,11 @@ Always check [libreboot.org](/) for updates.
 Answers to [frequently asked questions about
 Libreboot](https://libreboot.org/faq/).
 
-Libreboot is compatible with GNU+Linux and several BSD systems.
-
-For GNU+Linux, have a look at our [list of GNU+Linux distributions that we
-recommend](distros/).
-
-For BSD, refer to [the libreboot FAQ](https://libreboot.org/faq/#bsd).  We wish
-to merge instructions into the official libreboot documentation, if someone
-will provide it. We do have some instructions now for NetBSD, FreeBSD and
-OpenBSD, but they are still incomplete. See [bsd/](bsd/).
+Libreboot is compatible with GNU+Linux and several BSD systems. For BSD, refer
+to [the libreboot FAQ](https://libreboot.org/faq/#bsd).  We wish to merge
+instructions into the official libreboot documentation, if someone will provide
+it. We do have some instructions now for NetBSD, FreeBSD and OpenBSD, but they
+are still incomplete. See [bsd/](bsd/).
 
 Installing libreboot
 ====================
@@ -27,7 +23,6 @@ Installing operating systems
 
 -   [List of recommended GNU+Linux distributions for
     libreboot](distros/)
-
 -   [How to install GNU+Linux on a libreboot system](gnulinux/)
 -   [How to install BSD on a libreboot system](bsd/)
 
diff --git a/docs/install/bbb_setup.md b/docs/install/bbb_setup.md
index f7e9ad39..350ad7b4 100644
--- a/docs/install/bbb_setup.md
+++ b/docs/install/bbb_setup.md
@@ -28,8 +28,6 @@ here is a photo of the setup for the teensy:
 
 Onto the Beaglebone black\...
 
-[Back to previous index](./)
-
 Hardware requirements
 =====================
 
diff --git a/docs/install/t60_unbrick.md b/docs/install/t60_unbrick.md
index 804d5f23..f8a4b18a 100644
--- a/docs/install/t60_unbrick.md
+++ b/docs/install/t60_unbrick.md
@@ -3,8 +3,6 @@
 This section documents how to recover from a bad flash that prevents
 your ThinkPad T60 from booting.
 
-[Back to previous index](./)
-
 Table of Contents
 -----------------
 
diff --git a/docs/install/x60_unbrick.md b/docs/install/x60_unbrick.md
index c25a4d41..8b9bfcbf 100644
--- a/docs/install/x60_unbrick.md
+++ b/docs/install/x60_unbrick.md
@@ -3,8 +3,6 @@
 This section documents how to recover from a bad flash that prevents
 your ThinkPad X60 from booting.
 
-[Back to previous index](./)
-
 Table of Contents
 =================
 
diff --git a/docs/install/x60tablet_unbrick.md b/docs/install/x60tablet_unbrick.md
index 9e258563..ebbe7013 100644
--- a/docs/install/x60tablet_unbrick.md
+++ b/docs/install/x60tablet_unbrick.md
@@ -3,8 +3,6 @@
 This section documents how to recover from a bad flash that prevents
 your ThinkPad X60 Tablet from booting.
 
-[Back to previous index](./)
-
 Table of Contents
 -----------------
 
diff --git a/docs/misc/bbb_ehci.md b/docs/misc/bbb_ehci.md
index 32d784ef..171b990c 100644
--- a/docs/misc/bbb_ehci.md
+++ b/docs/misc/bbb_ehci.md
@@ -1,7 +1,5 @@
 % EHCI debugging on the BeagleBone Black 
 
-[Back to previous index](./)
-
 EHCI debugging
 ==============