14 files changed, 165 insertions, 137 deletions
diff --git a/docs/hardware/c201.md b/docs/hardware/c201.md
index 4e568d4a..8dba1f85 100644
--- a/docs/hardware/c201.md
+++ b/docs/hardware/c201.md
@@ -1,5 +1,6 @@
 ---
 title: ASUS Chromebook C201 
+x-toc-enable: true
 ...
 
 This is a Chromebook, using the Rockchip RK3288 SoC. It uses an ARM CPU,
@@ -16,18 +17,7 @@ confirmed to work.**
 Flashing instructions can be found at
 [../install/\#flashrom](../install/#flashrom)
 
--   [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)
--   [No microcode!](#microcode)
--   [Depthcharge payload](#depthcharge)
--   [Flash chip write protection: the screw](#thescrew)
-
-Google's intent with CrOS devices {#googlesintent}
+Google's intent with CrOS devices
 ==================================
 
 CrOS (Chromium OS/Chrome OS) devices, such as Chromebooks, were not
@@ -56,7 +46,7 @@ are supported in libreboot. Those laptops are supported, in spite of
 Apple and Lenovo, companies which are actually *hostile* to the free
 software movement.
 
-Considerations about ChromeOS and free operating systems {#os}
+Considerations about ChromeOS and free operating systems
 ========================================================
 
 This laptop comes preinstalled (from the factory) with Google ChromeOS.
@@ -73,7 +63,7 @@ install Debian.
 
 TODO: instructions for Devuan
 
-Caution: Video acceleration requires a non-free blob, software rendering can be used instead. {#videoblobs}
+Caution: Video acceleration requires a non-free blob, software rendering can be used instead.
 =============================================================================================
 
 The Tamil driver source code for the onboard Mali T GPU is not released.
@@ -92,7 +82,7 @@ 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).
 
-Caution: WiFi requires a non-free blob, a USB dongle can be used instead. {#wifiblobs}
+Caution: WiFi requires a non-free blob, a USB dongle can be used instead.
 =========================================================================
 
 These laptops have non-removeable (soldered on) WiFi chips, which
@@ -117,7 +107,7 @@ These wifi dongles use the AR9271 (atheros) chipset, supported by the
 free *ath9k\_htc* driver in the Linux kernel. They work in *linux-libre*
 too.
 
-EC firmware is free software! {#ec}
+EC firmware is free software!
 =============================
 
 It's free software. Google provides the source. Build scripts will be
@@ -132,7 +122,7 @@ when using one of these laptops.
 The libreboot FAQ briefly describes what an *EC* is:
 [../../faq.md#firmware-ec](../../faq.md#firmware-ec)
 
-No microcode! {#microcode}
+No microcode!
 =============
 
 Unlike x86 (e.g. Intel/AMD) CPUs, ARM CPUs do not use microcode, not
@@ -146,14 +136,14 @@ present), which are proprietary software.
 On ARM CPUs, the instruction set is implemented in circuitry, without
 microcode.
 
-Depthcharge payload {#depthcharge}
+Depthcharge payload
 ===================
 
 These systems do not use the GRUB payload. Instead, they use a payload
 called depthcharge, which is common on CrOS devices. This is free
 software, maintained by Google.
 
-Flash chip write protection: the screw {#thescrew}
+Flash chip write protection: the screw
 ======================================
 
 It's next to the flash chip. Unscrew it, and the flash chip is
@@ -177,4 +167,9 @@ all current libreboot systems, but CrOS devices make it easy. The screw
 is such a stupidly simple idea, which all designs should implement.
 
 Copyright © 2015 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/d510mo.md b/docs/hardware/d510mo.md
index 11dece1e..b2e85b0a 100644
--- a/docs/hardware/d510mo.md
+++ b/docs/hardware/d510mo.md
@@ -14,4 +14,9 @@ Flashing instructions can be found at
 [../install/d510mo.md](../install/d510mo.md)
 
 Copyright © 2016 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/d945gclf.md b/docs/hardware/d945gclf.md
index a05c0f15..c3f4754a 100644
--- a/docs/hardware/d945gclf.md
+++ b/docs/hardware/d945gclf.md
@@ -75,36 +75,9 @@ fan connector back, and you are done.
 
 Copyright © 2016 Arthur Heymans <arthur@aheymans.xyz>\
 Copyright © 2016 Vitaly Castaño Solana <vita\_cell@hotmail.com>\
-Permission is granted to copy, distribute and/or modify this document
-under the terms of the Creative Commons Attribution-ShareAlike 4.0
-International license or any later version published by Creative
-Commons; A copy of the license can be found at
-[../cc-by-sa-4.0.txt](../cc-by-sa-4.0.txt)
-
-Updated versions of the license (when available) can be found at
-<https://creativecommons.org/licenses/by-sa/4.0/legalcode>
-
-UNLESS OTHERWISE SEPARATELY UNDERTAKEN BY THE LICENSOR, TO THE EXTENT
-POSSIBLE, THE LICENSOR OFFERS THE LICENSED MATERIAL AS-IS AND
-AS-AVAILABLE, AND MAKES NO REPRESENTATIONS OR WARRANTIES OF ANY KIND
-CONCERNING THE LICENSED MATERIAL, WHETHER EXPRESS, IMPLIED, STATUTORY,
-OR OTHER. THIS INCLUDES, WITHOUT LIMITATION, WARRANTIES OF TITLE,
-MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT,
-ABSENCE OF LATENT OR OTHER DEFECTS, ACCURACY, OR THE PRESENCE OR ABSENCE
-OF ERRORS, WHETHER OR NOT KNOWN OR DISCOVERABLE. WHERE DISCLAIMERS OF
-WARRANTIES ARE NOT ALLOWED IN FULL OR IN PART, THIS DISCLAIMER MAY NOT
-APPLY TO YOU.
-
-TO THE EXTENT POSSIBLE, IN NO EVENT WILL THE LICENSOR BE LIABLE TO YOU
-ON ANY LEGAL THEORY (INCLUDING, WITHOUT LIMITATION, NEGLIGENCE) OR
-OTHERWISE FOR ANY DIRECT, SPECIAL, INDIRECT, INCIDENTAL, CONSEQUENTIAL,
-PUNITIVE, EXEMPLARY, OR OTHER LOSSES, COSTS, EXPENSES, OR DAMAGES
-ARISING OUT OF THIS PUBLIC LICENSE OR USE OF THE LICENSED MATERIAL, EVEN
-IF THE LICENSOR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH LOSSES,
-COSTS, EXPENSES, OR DAMAGES. WHERE A LIMITATION OF LIABILITY IS NOT
-ALLOWED IN FULL OR IN PART, THIS LIMITATION MAY NOT APPLY TO YOU.
-
-The disclaimer of warranties and limitation of liability provided above
-shall be interpreted in a manner that, to the extent possible, most
-closely approximates an absolute disclaimer and waiver of all liability.
 
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/ga-g41m-es2l.md b/docs/hardware/ga-g41m-es2l.md
index bfa73e91..fbcf2132 100644
--- a/docs/hardware/ga-g41m-es2l.md
+++ b/docs/hardware/ga-g41m-es2l.md
@@ -18,4 +18,9 @@ Flashing instructions can be found at
 [../install/\#flashrom](../install/#flashrom)
 
 Copyright © 2016 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/gm45_remove_me.md b/docs/hardware/gm45_remove_me.md
index e0aad8f5..5d9bc312 100644
--- a/docs/hardware/gm45_remove_me.md
+++ b/docs/hardware/gm45_remove_me.md
@@ -37,11 +37,13 @@ factory.bin dump.
 ich9gen executables can be found under ./ich9deblob/ statically compiled
 in libreboot\_util. If you are using src or git, build ich9gen from
 source with:
+
     $ ./oldbuild module ich9deblob
 
 The executable will appear under resources/utilities/ich9deblob/
 
 Run:
+
     $ ./ich9gen
 
 Running ich9gen this way (without any arguments) generates a default
@@ -70,6 +72,7 @@ generate a descriptor+gbe image with your own MAC address inside (with
 the Gbe checksum updated to match). Run:
 
     $ ./ich9gen --macaddress XX:XX:XX:XX:XX:XX
+
 (replace the XX chars with the hexadecimal chars in the MAC address that
 you want)
 
@@ -85,15 +88,23 @@ Two new files will be created:
 Assuming that your libreboot image is named **libreboot.rom**, copy the
 file to where **libreboot.rom** is located and then insert the
 descriptor+gbe file into the ROM image.\
-For 16MiB flash chips:\
-\$ **dd if=ich9fdgbe\_16m.bin of=libreboot.rom bs=1 count=12k
-conv=notrunc**\
-For 8MiB flash chips:\
-\$ **dd if=ich9fdgbe\_8m.bin of=libreboot.rom bs=1 count=12k
-conv=notrunc**\
-For 4MiB flash chips:\
-\$ **dd if=ich9fdgbe\_4m.bin of=libreboot.rom bs=1 count=12k
-conv=notrunc**\
+For 16MiB flash chips:
+
+    # dd if=ich9fdgbe_16m.bin of=libreboot.rom bs=1 count=12k
+
+conv=notrunc
+
+For 8MiB flash chips:
+
+    # dd if=ich9fdgbe_8m.bin of=libreboot.rom bs=1 count=12k
+
+conv=notrunc
+
+For 4MiB flash chips:
+
+    # dd if=ich9fdgbe_4m.bin of=libreboot.rom bs=1 count=12k
+
+conv=notrunc
 
 Your libreboot.rom image is now ready to be flashed on the system. Refer
 back to [../install/\#flashrom](../install/#flashrom) for how to flash
@@ -164,6 +175,7 @@ you ran **./oldbuild module all** or **./oldbuild module ich9deblob**
 from the main directory (./), otherwise you can build it like so:
 
     $ ./oldbuild module ich9deblob
+
 An executable file named **ich9deblob** will now appear under
 resources/utilities/ich9deblob/
 
@@ -192,9 +204,11 @@ Intel. Only the Intel NICs need a GbE region in the flash chip.
 
 Assuming that your libreboot image is named **libreboot.rom**, copy the
 **deblobbed\_descriptor.bin** file to where **libreboot.rom** is located
-and then run:\
-\$ **dd if=deblobbed\_descriptor.bin of=libreboot.rom bs=1 count=12k
-conv=notrunc**
+and then run:
+
+    # dd if=deblobbed_descriptor.bin of=libreboot.rom bs=1 count=12k
+
+conv=notrunc
 
 Alternatively, if you got a the **deblobbed\_4kdescriptor.bin** file (no
 GbE defined), do this: \$ **dd if=deblobbed\_4kdescriptor.bin
@@ -235,9 +249,11 @@ Simply run (with factory.rom in the same directory):
 
 It will generate a 4KiB descriptor file (only the descriptor, no GbE).
 Insert that into a factory.rom image (NOTE: do this on a copy of it.
-Keep the original factory.rom stored safely somewhere):\
-\$ **dd if=demefactory\_4kdescriptor.bin of=factory\_nome.rom bs=1
-count=4k conv=notrunc**
+Keep the original factory.rom stored safely somewhere):
+
+    # dd if=demefactory_4kdescriptor.bin of=factory_nome.rom bs=1
+
+count=4k conv=notrunc
 
 TODO: test this.\
 TODO: lenovobios (GM45 thinkpads) still write-protects parts of the
@@ -423,7 +439,7 @@ actually be others on the X200.
 0xBABA"*
 
 In honour of the song *Baba O'Reilly* by *The Who* apparently. We're
-not making this stuff up\...
+not making this stuff up...
 
 0x3ABA, 0x34BA, 0x40BA and more have been observed in the main Gbe
 regions on the X200 factory.rom dumps. The checksums of the backup
@@ -517,4 +533,9 @@ This is a 32K region from the factory image. It could be data
 It has only a 448 byte fragment different from 0x00 or 0xFF.
 
 Copyright © 2014, 2015 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/imac52.md b/docs/hardware/imac52.md
index a868b128..99db1977 100644
--- a/docs/hardware/imac52.md
+++ b/docs/hardware/imac52.md
@@ -5,4 +5,9 @@ title: Apple iMac 5,2
 Information to be written soon, but this board is merged in libreboot.
 
 Copyright © 2016 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/index.md b/docs/hardware/index.md
index d1f0ef54..fb9e0ed2 100644
--- a/docs/hardware/index.md
+++ b/docs/hardware/index.md
@@ -1,29 +1,18 @@
 ---
 title: Hardware compatibility list 
+x-toc-enable: true
 ...
 
 This sections relates to known hardware compatibility in libreboot.
 
 For installatation instructions, refer to [../install/](../install/).
 
--   [List of supported hardware](#supported_list)
-    -   [Desktops (x86, AMD and Intel)](#supported_desktops_x86amdintel)
-    -   [Servers/workstations](#supported_workstations_x86amd)
-    -   [Laptops (ARM)](#supported_laptops_arm)
-    -   [Laptops (Intel, x86)](#supported_laptops_x86intel)
-
--   NOTES:
-    -   [Updating the EC firmware on i945 and GM45
-        (recommended)](#ecupdate)
-    -   [How to find what EC version you have (i945/GM45)](#ecversion)
--   [Recommended wifi chipsets](#recommended_wifi)
-
-List of supported hardware {#supported_list}
+List of supported hardware
 --------------------------
 
 Libreboot supports the following systems in this release:
 
-### Desktops (AMD, Intel, x86) {#supported_desktops_x86amdintel}
+### Desktops (AMD, Intel, x86)
 
 -   [Gigabyte GA-G41M-ES2L motherboard](ga-g41m-es2l.md)
 -   [Intel D510MO motherboard](d510mo.md)
@@ -31,27 +20,27 @@ Libreboot supports the following systems in this release:
 -   [Intel D945GCLF](d945gclf.md)
 -   [Apple iMac 5,2](imac52.md)
 
-### Servers/workstations (AMD, x86) {#supported_workstations_x86amd}
+### Servers/workstations (AMD, x86)
 
 -   [ASUS KFSN4-DRE motherboard](kfsn4-dre.md)
 -   [ASUS KGPE-D16 motherboard](kgpe-d16.md)
 
-### Laptops (ARM) {#supported_laptops_arm}
+### Laptops (ARM)
 
 -   [ASUS Chromebook C201](c201.md)
 
-### Laptops (Intel, x86) {#supported_laptops_x86intel}
+### Laptops (Intel, x86)
 
--   [Lenovo ThinkPad X60/X60s](#supported_x60_list)
--   [Lenovo ThinkPad X60 Tablet](#supported_x60t_list)
--   [Lenovo ThinkPad T60](#supported_t60_list) (there are exceptions.
-    see link)
+-   [Lenovo ThinkPad X60/X60s](#list-of-supported-x60s)
+-   [Lenovo ThinkPad X60 Tablet](#list-of-supported-x60-tablets)
+-   [Lenovo ThinkPad T60](#supported-t60-list) (some exceptions)
 -   [Lenovo ThinkPad X200](x200.md)
 -   [Lenovo ThinkPad R400](r400.md)
 -   [Lenovo ThinkPad T400](t400.md)
 -   [Lenovo ThinkPad T500](t500.md)
--   [Apple MacBook1,1](#macbook11)
--   [Apple MacBook2,1](#macbook21)
+-   [Lenovo ThinkPad W500](t500.md)
+-   [Apple MacBook1,1](#information-about-the-macbook11)
+-   [Apple MacBook2,1](#information-about-the-macbook21)
 
 'Supported' means that the build scripts know how to build ROM images
 for these systems, and that the systems have been tested (confirmed
@@ -61,7 +50,7 @@ working). There may be exceptions; in other words, this is a list of
 It is also possible to build ROM images (from source) for other systems
 (and virtual systems, e.g. QEMU).
 
-EC update on i945 (X60, T60) and GM45 (X200, T400, T500, R400) {#ecupdate}
+EC update on i945 (X60, T60) and GM45 (X200, T400, T500, R400, W500)
 ==============================================================
 
 It is recommended that you update to the latest EC firmware version. The
@@ -80,19 +69,21 @@ only replaces the BIOS firmware, not EC.
 Updated EC firmware has several advantages e.g. bettery battery
 handling.
 
-How to find what EC version you have (i945/GM45) {#ecversion}
+How to find what EC version you have (i945/GM45)
 ================================================
 
-In GNU+Linux, you can try this:\
-**grep 'at EC' /proc/asound/cards**
+In GNU+Linux, you can try this:
+
+    $ grep 'at EC' /proc/asound/cards
 
-Sample output:\
-**ThinkPad Console Audio Control at EC reg 0x30, fw 7WHT19WW-3.6**
+Sample output:
+
+    ThinkPad Console Audio Control at EC reg 0x30, fw 7WHT19WW-3.6
 
 7WHT19WW is the version in different notation, use search engine to find
 out regular version - in this case it's a 1.06 for x200 tablet
 
-Recommended wifi chipsets {#recommended_wifi}
+Recommended wifi chipsets
 -------------------------
 
 The following are known to work well:
@@ -110,7 +101,7 @@ project if these work with linux-libre kernel (TODO: test):
 -   \[0200\]: Qualcomm Atheros AR242x / AR542x Wireless Network Adapter
     (PCI-Express) \[168c:001c\]
 
-List of supported ThinkPad X60s {#supported_x60_list}
+List of supported ThinkPad X60s
 -------------------------------
 
 Native gpu initialization ('native graphics') which replaces the
@@ -138,7 +129,7 @@ is very easily replaced; just remove the card and install another one
 **after** libreboot is installed. See
 [\#recommended\_wifi](#recommended_wifi) for replacements.
 
-List of supported ThinkPad X60 Tablets {#supported_x60t_list}
+List of supported ThinkPad X60 Tablets
 --------------------------------------
 
 Native gpu initialization ('native graphics') which replaces the
@@ -222,7 +213,7 @@ could get finger input working. They used linuxwacom at git tag
       InputDevice   "WTouch" "SendCoreEvents"
     EndSection
 
-Supported T60 list {#supported_t60_list}
+Supported T60 list
 ------------------
 
 Native gpu initialization ('native graphics') which replaces the
@@ -299,7 +290,7 @@ is very easily replaced; just remove the card and install another one
 **after** libreboot is installed. See
 [\#recommended\_wifi](#recommended_wifi) for replacements.
 
-ThinkPad T60 (ATI GPU) and ThinkPad T60 (Intel GPU) differences. {#t60_ati_intel}
+ThinkPad T60 (ATI GPU) and ThinkPad T60 (Intel GPU) differences.
 ----------------------------------------------------------------
 
 If your T60 is a 14.1" or 15.1" model with an ATI GPU, it won't work
@@ -320,7 +311,7 @@ cannot be used with libreboot under any circumstances.
 The following T60 motherboard (see area highlighted in white) shows an
 empty space where the ATI GPU would be (this particular motherboard has
 an Intel GPU):\
-\
+
 ![](../images/t60_dev/t60_unbrick.jpg)
 
 The reason that the ATI GPU on T60 is unsupported is due to the VBIOS
@@ -341,7 +332,7 @@ usable as a laptop because there would be no visual display at all. That
 being said, such a configuration is acceptable for use in a 'headless'
 server setup (with serial and/or ssh console as the display).
 
-Information about the macbook1,1 {#macbook11}
+Information about the macbook1,1
 --------------------------------
 
 There is an Apple laptop called the macbook1,1 from 2006 which uses the
@@ -381,7 +372,7 @@ firmware is running. You will need to disassemble the system and flash
 externally. Reading from flash seems to work. For external flashing,
 refer to [../install/bbb\_setup.md](../install/bbb_setup.md).
 
-Information about the macbook2,1 {#macbook21}
+Information about the macbook2,1
 --------------------------------
 
 There is an Apple laptop called the macbook2,1 from late 2006 or early
@@ -398,22 +389,13 @@ for whatever reason, since they include a lot of useful information.
 Backups created using wget:
 
     $ wget -m -p -E -k -K -np http://macbook.donderklumpen.de/
-**\$ wget -m -p -E -k -K -np
-http://macbook.donderklumpen.de/coreboot/**\
-Use **-e robots=off** if using this trick for other sites and the site
-restricts using robots.txt
+    $ wget -m -p -E -k -K -np http://macbook.donderklumpen.de/coreboot/
 
-**Links to wget backups (and the backups themselves) of Mono's pages
-(see above) removed temporarily. Mono has given me permission to
-distribute them, but I need to ask this person to tell me what license
-these works fall under first. Otherwise, the above URLs should be fine.
-NOTE TO SELF: REMOVE THIS WHEN DONE**
+Use `-e robots=off` if using this trick for other sites and the site restricts
+using robots.txt
 
 ### Installing GNU+Linux distributions (on Apple EFI firmware)
 
--   [Parabola GNU+Linux installation on a macbook2,1 with Apple EFI
-    firmware](#) (this is a copy of Mono's page, see above)
-
 How to boot an ISO: burn it to a CD (like you would normally) and hold
 down the Alt/Control key while booting. The bootloader will detect the
 GNU+Linux CD as 'Windows' (because Apple doesn't think GNU+Linux
@@ -424,11 +406,6 @@ likes to think that Apple and Microsoft are all that exist.) Now to
 install libreboot, follow
 [../install/\#flashrom\_macbook21](../install/#flashrom_macbook21).
 
-### Information about coreboot
-
--   [Coreboot on the macbook2,1](#) (this is a copy of Mono's page, see
-    above)
-
 ### coreboot wiki page
 
 -   <https://www.coreboot.org/Board:apple/macbook21>
@@ -539,4 +516,9 @@ available at *resources/utilities/macbook21-three-finger-tap* in the
 libreboot git repository.
 
 Copyright © 2014, 2015, 2016 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/kcma-d8.md b/docs/hardware/kcma-d8.md
index 042bdf85..9d5067b1 100644
--- a/docs/hardware/kcma-d8.md
+++ b/docs/hardware/kcma-d8.md
@@ -96,4 +96,9 @@ Hardware specifications {#specifications}
 Check the ASUS website.
 
 Copyright © 2016 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/kfsn4-dre.md b/docs/hardware/kfsn4-dre.md
index f180f3f0..4efc4648 100644
--- a/docs/hardware/kfsn4-dre.md
+++ b/docs/hardware/kfsn4-dre.md
@@ -69,4 +69,9 @@ Other information
 [specifications](ftp://ftp.sgi.com/public/Technical%20Support/Pdf%20files/Asus/kfsn4-dre.pdf)
 
 Copyright © 2015 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/kgpe-d16.md b/docs/hardware/kgpe-d16.md
index a99be325..19d68416 100644
--- a/docs/hardware/kgpe-d16.md
+++ b/docs/hardware/kgpe-d16.md
@@ -210,4 +210,9 @@ The information here is adapted, from the ASUS website.
     processor
 
 Copyright © 2015 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/r400.md b/docs/hardware/r400.md
index c180e0f7..66854b5c 100644
--- a/docs/hardware/r400.md
+++ b/docs/hardware/r400.md
@@ -62,4 +62,9 @@ TODO: put hardware register logs here like on the [X200](x200.md) and
 [T400](t400.md) page.
 
 Copyright © 2014, 2015 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/t400.md b/docs/hardware/t400.md
index 33104297..bec2d895 100644
--- a/docs/hardware/t400.md
+++ b/docs/hardware/t400.md
@@ -74,4 +74,9 @@ outputs from the T400:
     the one that libreboot git revision c164960 uses.
 
 Copyright © 2015 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/t500.md b/docs/hardware/t500.md
index 77c72dd2..862484dd 100644
--- a/docs/hardware/t500.md
+++ b/docs/hardware/t500.md
@@ -7,6 +7,8 @@ about [CPU
 compatibility](../install/t500_external.html#cpu_compatibility) for
 potential incompatibilities.
 
+W500 is also compatible, and mostly the same design as T500.
+
 There are two possible flash chip sizes for the T500: 4MiB (32Mbit) or
 8MiB (64Mbit). This can be identified by the type of flash chip below
 the palmrest: 4MiB is SOIC-8, 8MiB is SOIC-16.
@@ -70,6 +72,7 @@ The patches above are based on the output from ich9deblob on a
 factory.rom image dumped from the T500 with a SOIC-8 4MiB flash chip.
 The patch re-creates the X200 descriptor/gbe source, so the commands
 were something like:
+
     $ diff -u t500gbe x200gbe
     $ diff -u t500descriptor x200descriptor
 
@@ -93,4 +96,9 @@ outputs from the T500:
     -   [../future/dumps/t500log/](../future/dumps/t500log/)
 
 Copyright © 2015 Leah Rowe <info@minifree.org>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
diff --git a/docs/hardware/x200.md b/docs/hardware/x200.md
index 355ae1d5..8afbe504 100644
--- a/docs/hardware/x200.md
+++ b/docs/hardware/x200.md
@@ -33,6 +33,8 @@ will update both the BIOS and EC version. See:
 
 -   [../install/#flashrom](../install/#flashrom)
 -   <http://www.thinkwiki.org/wiki/BIOS_update_without_optical_disk>
+-   [X200, X200s, X200si BIOS Update](http://pcsupport.lenovo.com/au/en/products/laptops-and-netbooks/thinkpad-x-series-laptops/thinkpad-x200/downloads/ds015007)
+-   [X200t BIOS Update](http://pcsupport.lenovo.com/au/en/products/laptops-and-netbooks/thinkpad-x-series-tablet-laptops/thinkpad-x200-tablet/downloads/ds018814)
 
 NOTE: this can only be done when you are using Lenovo BIOS. How to
 update the EC firmware while running libreboot is unknown. Libreboot
@@ -226,9 +228,11 @@ be useful for RAM compatibility info (note: coreboot raminit is
 different, so this page might be BS)
 
 pehjota started collecting some steppings for different CPUs on several
-X200 laptops. You can get the CPUID by running:\
-\$ **dmesg | sed -n 's/\^.\* microcode: CPU0
-sig=0x\\(\[\^,\]\*\\),.\*\$/\\1/p'**
+X200 laptops. You can get the CPUID by running:
+
+    # dmesg | sed -n 's/\^.\* microcode: CPU0
+
+sig=0x\\(\[\^,\]\*\\),.\*\$/\\1/p'
 
 What pehjota wrote: The laptops that have issues resuming from suspend,
 as well as a laptop that (as I mentioned earlier in \#libreboot) won't
@@ -263,4 +267,9 @@ Unsorted notes {#unsorted}
 
 Copyright © 2014, 2015 Leah Rowe <info@minifree.org>\
 Copyright © 2015 Patrick "P. J." McDermott <pj@pehjota.net>\
-This page is available under the [CC BY SA 4.0](../cc-by-sa-4.0.txt)
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License Version 1.3 or any later
+version published by the Free Software Foundation
+with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
+A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)