Cleanup "back to top..."

5 files changed, 0 insertions, 64 deletions

diff --git a/docs/bsd/freebsd.md b/docs/bsd/freebsd.md
index ff44b41e..adec3672 100644
--- a/docs/bsd/freebsd.md
+++ b/docs/bsd/freebsd.md
@@ -76,8 +76,6 @@ FreeBSD installer to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
-
 Prepare the USB drive (in GNU+Linux)
 ------------------------------------
 
@@ -106,8 +104,6 @@ distro ISO to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
-
 Installing FreeBSD without full disk encryption
 -----------------------------------------------
 
@@ -120,29 +116,21 @@ Press C in GRUB to access the command line:
 It will start booting into the FreeBSD installer. Follow the normal
 process for installing FreeBSD.
 
-[Back to top of page](#pagetop).
-
 Installing FreeBSD with full disk encryption
 --------------------------------------------
 
 TODO
 
-[Back to top of page](#pagetop).
-
 Booting
 -------
 
 TODO
 
-[Back to top of page](#pagetop).
-
 Configuring Grub
 ----------------
 
 TODO
 
-[Back to top of page](#pagetop).
-
 Troubleshooting
 ===============
 
@@ -161,8 +149,6 @@ won't boot\...something about file not found
 Your device names (i.e. usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) and
 numbers may differ. Use TAB completion.
 
-[Back to top of page](#pagetop).
-
 Copyright © 2016 Leah Rowe <info@minifree.org>\
 Copyright © 2016 Scott Bonds <scott@ggr.com>\
 This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
diff --git a/docs/bsd/netbsd.md b/docs/bsd/netbsd.md
index 948c14d9..d55317c8 100644
--- a/docs/bsd/netbsd.md
+++ b/docs/bsd/netbsd.md
@@ -72,8 +72,6 @@ NetBSD installer to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
-
 Prepare the USB drive (in GNU+Linux)
 ------------------------------------
 
@@ -102,8 +100,6 @@ distro ISO to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
-
 Installing NetBSD without full disk encryption
 ----------------------------------------------
 
@@ -116,15 +112,11 @@ Press C to access the GRUB terminal.
 It will start booting into the NetBSD installer. Follow the normal
 process for installing NetBSD.
 
-[Back to top of page](#pagetop).
-
 Installing NetBSD with full disk encryption
 -------------------------------------------
 
 TODO
 
-[Back to top of page](#pagetop).
-
 Booting
 -------
 
@@ -135,8 +127,6 @@ Press C in GRUB to access the command line:
 
 NetBSD will start booting. Yay!
 
-[Back to top of page](#pagetop).
-
 Configuring Grub
 ----------------
 
@@ -158,8 +148,6 @@ The next time you boot, you'll see the old Grub menu for a few seconds,
 then you'll see the a new menu with only NetBSD on the list. After 3
 seconds NetBSD will boot, or you can hit enter to boot.
 
-[Back to top of page](#pagetop).
-
 Troubleshooting
 ===============
 
@@ -178,8 +166,6 @@ won't boot\...something about file not found
 Your device names (i.e. usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) and
 numbers may differ. Use TAB completion.
 
-[Back to top of page](#pagetop).
-
 Copyright © 2016 Leah Rowe <info@minifree.org>\
 Copyright © 2016 Scott Bonds <scott@ggr.com>\
 This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
diff --git a/docs/bsd/openbsd.md b/docs/bsd/openbsd.md
index 84ad2ce1..b7713cc8 100644
--- a/docs/bsd/openbsd.md
+++ b/docs/bsd/openbsd.md
@@ -54,8 +54,6 @@ OpenBSD installer to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
-
 Prepare the USB drive (in NetBSD)
 ---------------------------------
 
@@ -101,8 +99,6 @@ distro ISO to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
-
 Installing OpenBSD without full disk encryption
 -----------------------------------------------
 
@@ -114,8 +110,6 @@ Press C in GRUB to access the command line:
 It will start booting into the OpenBSD installer. Follow the normal
 process for installing OpenBSD.
 
-[Back to top of page](#pagetop).
-
 Installing OpenBSD with full disk encryption
 --------------------------------------------
 
@@ -144,8 +138,6 @@ installations would be possible, but probably not feasible; it's an
 alien codebase to the OpenBSD project, not tightly integrated and the
 OpenBSD bootloader already works.
 
-[Back to top of page](#pagetop).
-
 Booting
 -------
 
@@ -156,8 +148,6 @@ Press C in GRUB to access the command line:
 
 OpenBSD will start booting. Yay!
 
-[Back to top of page](#pagetop).
-
 Configuring Grub
 ----------------
 
@@ -179,8 +169,6 @@ The next time you boot, you'll see the old Grub menu for a few seconds,
 then you'll see the a new menu with only OpenBSD on the list. After 3
 seconds OpenBSD will boot, or you can hit enter to boot.
 
-[Back to top of page](#pagetop).
-
 Troubleshooting
 ===============
 
@@ -199,8 +187,6 @@ won't boot\...something about file not found
 Your device names (i.e. usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) and
 numbers may differ. Use TAB completion.
 
-[Back to top of page](#pagetop).
-
 Copyright © 2016 Scott Bonds <scott@ggr.com>\
 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/grub_boot_installer.md b/docs/gnulinux/grub_boot_installer.md
index c2f520f7..35b076b9 100644
--- a/docs/gnulinux/grub_boot_installer.md
+++ b/docs/gnulinux/grub_boot_installer.md
@@ -47,8 +47,6 @@ distro ISO to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
-
 Prepare the USB drive (in NetBSD)
 ---------------------------------
 
@@ -92,8 +90,6 @@ OpenBSD installer to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-[Back to top of page](#pagetop).
-
 Installing GNU+Linux with full disk encryption
 ----------------------------------------------
 
@@ -102,8 +98,6 @@ Installing GNU+Linux with full disk encryption
 -   [Installing Parabola GNU+Linux with full disk encryption (including
     /boot)](encrypted_parabola.html)
 
-[Back to top of page](#pagetop).
-
 Debian or Devuan net install?
 -----------------------------
 
@@ -122,8 +116,6 @@ initrd /install.386/initrd.gz\
 boot**\
 We recommend using the *MATE* desktop.
 
-[Back to top of page](#pagetop).
-
 Booting ISOLINUX images (automatic method)
 ------------------------------------------
 
@@ -132,8 +124,6 @@ menu should appear in GRUB, showing the boot options for that distro;
 this is a GRUB menu, converted from the usual ISOLINUX menu provided by
 that distro.
 
-[Back to top of page](#pagetop).
-
 Booting ISOLINUX images (manual method)
 ---------------------------------------
 
@@ -179,8 +169,6 @@ GRUB, to see a list of USB devices/partitions. Of course this will vary
 from distro to distro. If you did all of that correctly, then it should
 now be booting your USB drive in the way that you specified.
 
-[Back to top of page](#pagetop).
-
 Troubleshooting
 ===============
 
@@ -221,8 +209,6 @@ This workaround was found on the page:
 also work for Debian, Devuan and any other apt-get distro that provides
 debian-installer (text mode) net install method.
 
-[Back to top of page](#pagetop).
-
 Copyright © 2014, 2015, 2016 Leah Rowe <info@minifree.org>\
 Copyright © 2016 Scott Bonds <scott@ggr.com>\
 This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
diff --git a/docs/hcl/c201.md b/docs/hcl/c201.md
index de4f2815..c5575b3c 100644
--- a/docs/hcl/c201.md
+++ b/docs/hcl/c201.md
@@ -57,8 +57,6 @@ are supported in libreboot. Those laptops are supported, in spite of
 Apple and Lenovo, companies which are actually *hostile* to the free
 software movement.
 
-[Back to top of page](#pagetop).
-
 Considerations about ChromeOS and free operating systems {#os}
 ========================================================
 
@@ -79,8 +77,6 @@ install Debian.
 
 TODO: instructions for Devuan
 
-[Back to top of page](#pagetop).
-
 Caution: Video acceleration requires a non-free blob, software rendering can be used instead. {#videoblobs}
 =============================================================================================
 
@@ -100,8 +96,6 @@ The Tamil developer wrote this blog post, which sheds light on the
 story:
 [http://libv.livejournal.com/27461.html,http://libv.livejournal.com/27461.html](http://libv.livejournal.com/27461.html).
 
-[Back to top of page](#pagetop).
-
 Caution: WiFi requires a non-free blob, a USB dongle can be used instead. {#wifiblobs}
 =========================================================================
 
@@ -156,8 +150,6 @@ present), which are proprietary software.
 On ARM CPUs, the instruction set is implemented in circuitry, without
 microcode.
 
-[Back to top of page](#pagetop).
-
 Depthcharge payload {#depthcharge}
 ===================