Correct headings

62 files changed, 62 insertions, 186 deletions

diff --git a/docs/archive_old.md b/docs/archive_old.md
index 9b4dd2d5..f52ce7e8 100644
--- a/docs/archive_old.md
+++ b/docs/archive_old.md
@@ -1,6 +1,4 @@
-
-Libreboot release information (old) 
-===================================
+% Libreboot release information (old) 
 
 Information for this release can be found at
 [release.html](release.html). Updated versions of libreboot can be found
diff --git a/docs/bsd/freebsd.md b/docs/bsd/freebsd.md
index 9a394d01..4ff29a47 100644
--- a/docs/bsd/freebsd.md
+++ b/docs/bsd/freebsd.md
@@ -1,6 +1,4 @@
-
-How to install FreeBSD on a libreboot system
-============================================
+% How to install FreeBSD on a libreboot system
 
 This section relates to preparing, booting and installing FreeBSD on
 your libreboot system, using nothing more than a USB flash drive (and
diff --git a/docs/bsd/index.md b/docs/bsd/index.md
index d2e13d8e..90afc1f8 100644
--- a/docs/bsd/index.md
+++ b/docs/bsd/index.md
@@ -1,6 +1,4 @@
-
-BSD projects 
-============
+% BSD projects 
 
 This section relates to dealing with BSD projects: preparing bootable
 USB drives, changing the default GRUB menu and so on.
diff --git a/docs/bsd/netbsd.md b/docs/bsd/netbsd.md
index d2118aad..9d1dd517 100644
--- a/docs/bsd/netbsd.md
+++ b/docs/bsd/netbsd.md
@@ -1,6 +1,4 @@
-
-How to install NetBSD on a libreboot system
-===========================================
+% How to install NetBSD on a libreboot system
 
 This section relates to preparing, booting and installing NetBSD on your
 libreboot system, using nothing more than a USB flash drive (and *dd*).
diff --git a/docs/bsd/openbsd.md b/docs/bsd/openbsd.md
index 955fc890..0bd07c2d 100644
--- a/docs/bsd/openbsd.md
+++ b/docs/bsd/openbsd.md
@@ -1,6 +1,4 @@
-
-How to install LibertyBSD or OpenBSD on a libreboot system
-==========================================================
+% How to install LibertyBSD or OpenBSD on a libreboot system
 
 NOTE: This guide was written for OpenBSD by the person who contributed
 it, but the libreboot project recommends LibertyBSD. LibertyBSD is a
diff --git a/docs/depthcharge/index.md b/docs/depthcharge/index.md
index e5d75550..da8126c7 100644
--- a/docs/depthcharge/index.md
+++ b/docs/depthcharge/index.md
@@ -1,6 +1,4 @@
-
-Depthcharge payload 
-===================
+% Depthcharge payload 
 
 This section relates to the depthcharge payload used in libreboot.
 
diff --git a/docs/distros/index.md b/docs/distros/index.md
index 4f320d45..928e806f 100644
--- a/docs/distros/index.md
+++ b/docs/distros/index.md
@@ -1,6 +1,4 @@
-
-List of recommended GNU+Linux distributions for libreboot 
-=========================================================
+% 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
diff --git a/docs/fsf-distros/index.md b/docs/fsf-distros/index.md
index b030c6ba..a0fd6087 100644
--- a/docs/fsf-distros/index.md
+++ b/docs/fsf-distros/index.md
@@ -1,6 +1,4 @@
-
-Explaining Why We Don't Endorse FSF-endorsed Systems 
-=====================================================
+% Explaining Why We Don't Endorse FSF-endorsed Systems 
 
 We are asked why we don't endorse most FSF-endorsed distributions,
 usually well-known within the FSF community.
diff --git a/docs/future/index.md b/docs/future/index.md
index 7247bc3a..082ea623 100644
--- a/docs/future/index.md
+++ b/docs/future/index.md
@@ -1,6 +1,4 @@
-
-Development notes 
-=================
+% Development notes 
 
 These are development notes, for future use. For old (obselete) notes,
 see [old.html](old.html).
diff --git a/docs/future/old.md b/docs/future/old.md
index 72117cd4..33fc4458 100644
--- a/docs/future/old.md
+++ b/docs/future/old.md
@@ -1,6 +1,4 @@
-
-Development notes (old/obsolete notes) 
-======================================
+% Development notes (old/obsolete notes) 
 
 For current notes, see [](./).
 
diff --git a/docs/gnulinux/configuring_parabola.md b/docs/gnulinux/configuring_parabola.md
index 98511883..ea06dec2 100644
--- a/docs/gnulinux/configuring_parabola.md
+++ b/docs/gnulinux/configuring_parabola.md
@@ -1,6 +1,4 @@
-
-Configuring Parabola (post-install) 
-===================================
+% Configuring Parabola (post-install) 
 
 Post-installation configuration steps for Parabola GNU+Linux-libre.
 Parabola is extremely flexible; this is just an example. This example
diff --git a/docs/gnulinux/encrypted_debian.md b/docs/gnulinux/encrypted_debian.md
index 297badd5..a6021852 100644
--- a/docs/gnulinux/encrypted_debian.md
+++ b/docs/gnulinux/encrypted_debian.md
@@ -1,6 +1,4 @@
-
-Installing Debian or Devuan GNU+Linux with full disk encryption (including /boot)
-=================================================================================
+% Installing Debian or Devuan GNU+Linux with full disk encryption (including /boot)
 
 This guide is written for the Debian distribution, but it should also
 work for Devuan with the net installer.
diff --git a/docs/gnulinux/encrypted_parabola.md b/docs/gnulinux/encrypted_parabola.md
index e23ca3d6..34e850fd 100644
--- a/docs/gnulinux/encrypted_parabola.md
+++ b/docs/gnulinux/encrypted_parabola.md
@@ -1,6 +1,4 @@
-
-Installing Parabola or Arch GNU+Linux with full disk encryption (including /boot)
-=================================================================================
+% Installing Parabola or Arch GNU+Linux with full disk encryption (including /boot)
 
 Libreboot on x86 uses the GRUB
 [payload](http://www.coreboot.org/Payloads#GRUB_2) by default, which
diff --git a/docs/gnulinux/grub_boot_installer.md b/docs/gnulinux/grub_boot_installer.md
index 4d70167e..8821f1ef 100644
--- a/docs/gnulinux/grub_boot_installer.md
+++ b/docs/gnulinux/grub_boot_installer.md
@@ -1,6 +1,4 @@
-
-How to install GNU+Linux on a libreboot system
-==============================================
+% How to install GNU+Linux on a libreboot system
 
 This section relates to preparing, booting and installing a GNU+Linux
 distribution on your libreboot system, using nothing more than a USB
diff --git a/docs/gnulinux/grub_cbfs.md b/docs/gnulinux/grub_cbfs.md
index 979acf10..deb0a456 100644
--- a/docs/gnulinux/grub_cbfs.md
+++ b/docs/gnulinux/grub_cbfs.md
@@ -1,6 +1,4 @@
-
-How to replace the default GRUB configuration file on a libreboot system 
-========================================================================
+% How to replace the default GRUB configuration file on a libreboot system 
 
 Libreboot on x86 uses the GRUB
 [payload](http://www.coreboot.org/Payloads#GRUB_2) by default, which
diff --git a/docs/gnulinux/grub_hardening.md b/docs/gnulinux/grub_hardening.md
index 141cf0ab..e982efca 100644
--- a/docs/gnulinux/grub_hardening.md
+++ b/docs/gnulinux/grub_hardening.md
@@ -1,6 +1,4 @@
-
-GRUB hardening
-==============
+% GRUB hardening
 
 This guide deals with various ways in which you can harden your GRUB
 configuration, for security purposes. These steps are optional, but
diff --git a/docs/gnulinux/index.md b/docs/gnulinux/index.md
index ae5d9147..84cf4b23 100644
--- a/docs/gnulinux/index.md
+++ b/docs/gnulinux/index.md
@@ -1,6 +1,4 @@
-
-GNU+Linux distributions 
-=======================
+% GNU+Linux distributions 
 
 This section relates to dealing with GNU+Linux distributions: preparing
 bootable USB drives, changing the default GRUB menu and so on.
diff --git a/docs/grub/index.md b/docs/grub/index.md
index c05cb732..f68980bd 100644
--- a/docs/grub/index.md
+++ b/docs/grub/index.md
@@ -1,6 +1,4 @@
-
-GRUB payload 
-============
+% GRUB payload 
 
 This section relates to the GRUB payload used in libreboot.
 
diff --git a/docs/hardware/dock.md b/docs/hardware/dock.md
index fe64eea5..e4e0c9b5 100644
--- a/docs/hardware/dock.md
+++ b/docs/hardware/dock.md
@@ -1,6 +1,4 @@
-
-Notes about DMA and the docking station (X60/T60)
-=================================================
+% Notes about DMA and the docking station (X60/T60)
 
     Use case:
     ---------
diff --git a/docs/hardware/index.md b/docs/hardware/index.md
index 24a61094..c05437f1 100644
--- a/docs/hardware/index.md
+++ b/docs/hardware/index.md
@@ -1,6 +1,4 @@
-
-Hardware modifications 
-======================
+% Hardware modifications 
 
 This section relates to hardware maintenance on supported targets.
 
diff --git a/docs/hardware/t60_heatsink.md b/docs/hardware/t60_heatsink.md
index 97f88cb2..692ea5cc 100644
--- a/docs/hardware/t60_heatsink.md
+++ b/docs/hardware/t60_heatsink.md
@@ -1,6 +1,4 @@
-
-Changing heatsink (or CPU) on the ThinkPad T60
-==============================================
+% Changing heatsink (or CPU) on the ThinkPad T60
 
 Using this guide you can also change/upgrade the CPU.
 
diff --git a/docs/hardware/t60_lcd_15.md b/docs/hardware/t60_lcd_15.md
index 1a302460..dd735ca8 100644
--- a/docs/hardware/t60_lcd_15.md
+++ b/docs/hardware/t60_lcd_15.md
@@ -1,6 +1,4 @@
-
-Changing the LCD panel on a 15.1" T60
-======================================
+% Changing the LCD panel on a 15.1" T60
 
 This is for the 15.1" T60. If you have another size then the procedure
 will differ; for example, on 14.1" you have to remove the hinges and
diff --git a/docs/hardware/t60_security.md b/docs/hardware/t60_security.md
index 9b35184a..8ed41ead 100644
--- a/docs/hardware/t60_security.md
+++ b/docs/hardware/t60_security.md
@@ -1,6 +1,4 @@
-
-Security on the ThinkPad T60
-============================
+% Security on the ThinkPad T60
 
 Hardware modifications to enhance security on the ThinkPad T60. This
 tutorial is **incomplete** at the time of writing.
diff --git a/docs/hardware/x60_heatsink.md b/docs/hardware/x60_heatsink.md
index 47cb9d10..51721324 100644
--- a/docs/hardware/x60_heatsink.md
+++ b/docs/hardware/x60_heatsink.md
@@ -1,6 +1,4 @@
-
-Changing the fan/heatsink on the ThinkPad X60
-=============================================
+% Changing the fan/heatsink on the ThinkPad X60
 
 This guide will teach you how to replace the fan and heatsink on your
 ThinkPad X60.
diff --git a/docs/hardware/x60_keyboard.md b/docs/hardware/x60_keyboard.md
index 61cf1084..e04495b3 100644
--- a/docs/hardware/x60_keyboard.md
+++ b/docs/hardware/x60_keyboard.md
@@ -1,6 +1,4 @@
-
-Thinkpad X60/X60s/X60t: Change keyboard
-=======================================
+% Thinkpad X60/X60s/X60t: Change keyboard
 
 Use this guide to replace the keyboard on your ThinkPad X60. Also works
 for X60s and X60 Tablet.
diff --git a/docs/hardware/x60_lcd_change.md b/docs/hardware/x60_lcd_change.md
index 21baedf2..c78c9663 100644
--- a/docs/hardware/x60_lcd_change.md
+++ b/docs/hardware/x60_lcd_change.md
@@ -1,6 +1,4 @@
-
-Changing the LCD panel on X60
-=============================
+% Changing the LCD panel on X60
 
 This tutorial is incomplete, and only pictures for now.
 
diff --git a/docs/hardware/x60_security.md b/docs/hardware/x60_security.md
index 307bb77d..965d6f1a 100644
--- a/docs/hardware/x60_security.md
+++ b/docs/hardware/x60_security.md
@@ -1,6 +1,4 @@
-
-Security on the ThinkPad X60
-============================
+% Security on the ThinkPad X60
 
 Hardware modifications to enhance security on the ThinkPad X60. This
 tutorial is **incomplete** at the time of writing.
diff --git a/docs/hcl/c201.md b/docs/hcl/c201.md
index 26bd5fde..24332b14 100644
--- a/docs/hcl/c201.md
+++ b/docs/hcl/c201.md
@@ -1,6 +1,4 @@
-
-ASUS Chromebook C201 
-====================
+% ASUS Chromebook C201 
 
 This is a Chromebook, using the Rockchip RK3288 SoC. It uses an ARM CPU,
 and has free EC firmware (unlike some other laptops). More RK3288-based
diff --git a/docs/hcl/d510mo.md b/docs/hcl/d510mo.md
index 23273ce1..7b155c39 100644
--- a/docs/hcl/d510mo.md
+++ b/docs/hcl/d510mo.md
@@ -1,6 +1,4 @@
-
-Intel D510MO desktop board 
-==========================
+% Intel D510MO desktop board 
 
 This is a desktop board using intel hardware (circa \~2009, ICH7
 southbridge, similar performance-wise to the Libreboot X200. It can make
diff --git a/docs/hcl/d945gclf.md b/docs/hcl/d945gclf.md
index 6a502ac2..ebb22e0a 100644
--- a/docs/hcl/d945gclf.md
+++ b/docs/hcl/d945gclf.md
@@ -1,6 +1,4 @@
-
-Intel D945GCLF desktop board 
-============================
+% Intel D945GCLF desktop board 
 
 [Back to previous index](https://libreboot.org/docs/hcl/)
 
diff --git a/docs/hcl/ga-g41m-es2l.md b/docs/hcl/ga-g41m-es2l.md
index 2048e8af..b7291245 100644
--- a/docs/hcl/ga-g41m-es2l.md
+++ b/docs/hcl/ga-g41m-es2l.md
@@ -1,6 +1,4 @@
-
-Gigabyte GA-G41M-ES2L desktop board 
-===================================
+% Gigabyte GA-G41M-ES2L desktop board 
 
 This is a desktop board using intel hardware (circa \~2009, ICH7
 southbridge, similar performance-wise to the Libreboot X200. It can make
diff --git a/docs/hcl/gm45_remove_me.md b/docs/hcl/gm45_remove_me.md
index 9aa2a0e0..ef386b62 100644
--- a/docs/hcl/gm45_remove_me.md
+++ b/docs/hcl/gm45_remove_me.md
@@ -1,6 +1,4 @@
-
-GM45 chipsets: remove the ME (manageability engine) 
-===================================================
+% GM45 chipsets: remove the ME (manageability engine) 
 
 This sections relates to disabling and removing the ME (Intel
 **M**anagement **E**ngine) on GM45. This was originally done on the
diff --git a/docs/hcl/imac52.md b/docs/hcl/imac52.md
index a3efd3ed..f9266c6c 100644
--- a/docs/hcl/imac52.md
+++ b/docs/hcl/imac52.md
@@ -1,6 +1,4 @@
-
-Apple iMac 5,2 
-==============
+% Apple iMac 5,2 
 
 Information to be written soon, but this board is merged in libreboot.
 
diff --git a/docs/hcl/index.md b/docs/hcl/index.md
index 3ec93612..6943f795 100644
--- a/docs/hcl/index.md
+++ b/docs/hcl/index.md
@@ -1,6 +1,4 @@
-
-Hardware compatibility list 
-===========================
+% Hardware compatibility list 
 
 This sections relates to known hardware compatibility in libreboot.
 
diff --git a/docs/hcl/kcma-d8.md b/docs/hcl/kcma-d8.md
index 928eba9a..fd91724b 100644
--- a/docs/hcl/kcma-d8.md
+++ b/docs/hcl/kcma-d8.md
@@ -1,6 +1,4 @@
-
-ASUS KCMA-D8 desktop/workstation board 
-======================================
+% ASUS KCMA-D8 desktop/workstation board 
 
 This is a desktop board using AMD hardware (Fam10h **and Fam15h** CPUs
 available). It can also be used for building a high-powered workstation.
diff --git a/docs/hcl/kfsn4-dre.md b/docs/hcl/kfsn4-dre.md
index 53f83005..2e0f13eb 100644
--- a/docs/hcl/kfsn4-dre.md
+++ b/docs/hcl/kfsn4-dre.md
@@ -1,6 +1,4 @@
-
-ASUS KFSN4-DRE server/workstation board 
-=======================================
+% ASUS KFSN4-DRE server/workstation board 
 
 This is a server board using AMD hardware (Fam10h). It can also be used
 for building a high-powered workstation. Powered by libreboot.
diff --git a/docs/hcl/kgpe-d16.md b/docs/hcl/kgpe-d16.md
index c0528498..51935da6 100644
--- a/docs/hcl/kgpe-d16.md
+++ b/docs/hcl/kgpe-d16.md
@@ -1,6 +1,4 @@
-
-ASUS KGPE-D16 server/workstation board 
-======================================
+% ASUS KGPE-D16 server/workstation board 
 
 This is a server board using AMD hardware (Fam10h **and Fam15h** CPUs
 available). It can also be used for building a high-powered workstation.
diff --git a/docs/hcl/r400.md b/docs/hcl/r400.md
index 55a0c411..c9482cd3 100644
--- a/docs/hcl/r400.md
+++ b/docs/hcl/r400.md
@@ -1,6 +1,4 @@
-
-ThinkPad R400 
-=============
+% ThinkPad R400 
 
 It is believed that all or most R400 laptops are compatible. See notes
 about [CPU
diff --git a/docs/hcl/t400.md b/docs/hcl/t400.md
index e8493640..f9bf9584 100644
--- a/docs/hcl/t400.md
+++ b/docs/hcl/t400.md
@@ -1,6 +1,4 @@
-
-ThinkPad T400 
-=============
+% ThinkPad T400 
 
 It is believed that all or most T400 laptops are compatible. See notes
 about [CPU
diff --git a/docs/hcl/t500.md b/docs/hcl/t500.md
index a7605ed1..37740c25 100644
--- a/docs/hcl/t500.md
+++ b/docs/hcl/t500.md
@@ -1,6 +1,4 @@
-
-ThinkPad T500 
-=============
+% ThinkPad T500 
 
 It is believed that all or most T500 laptops are compatible. See notes
 about [CPU
diff --git a/docs/hcl/x200.md b/docs/hcl/x200.md
index 2dea2279..e5e2ff77 100644
--- a/docs/hcl/x200.md
+++ b/docs/hcl/x200.md
@@ -1,6 +1,4 @@
-
-ThinkPad X200 
-=============
+% ThinkPad X200 
 
 It is believed that all X200 laptops are compatible. X200S and X200
 Tablet will also work, [depending on the configuration](#x200s).
diff --git a/docs/index.md b/docs/index.md
index 8eeb306c..590cde0b 100644
--- a/docs/index.md
+++ b/docs/index.md
@@ -1,6 +1,4 @@
-
-Libreboot documentation 
-=======================
+% Libreboot documentation 
 
 Information about this release can be found at
 [release.html](release.html). Always check
diff --git a/docs/install/bbb_setup.md b/docs/install/bbb_setup.md
index 73cf7a91..7f10fee2 100644
--- a/docs/install/bbb_setup.md
+++ b/docs/install/bbb_setup.md
@@ -1,6 +1,4 @@
-
-How to program an SPI flash chip with the BeagleBone Black or Teensy 3.1 
-========================================================================
+% How to program an SPI flash chip with the BeagleBone Black or Teensy 3.1 
 
 This document exists as a guide for reading from or writing to an SPI
 flash chip with the BeagleBone Black, using the
diff --git a/docs/install/c201.md b/docs/install/c201.md
index b02c7c99..b481a6ec 100644
--- a/docs/install/c201.md
+++ b/docs/install/c201.md
@@ -1,6 +1,4 @@
-
-ASUS Chromebook C201 installation guide 
-=======================================
+% ASUS Chromebook C201 installation guide 
 
 These instructions are for installing Libreboot to the ASUS Chromebook
 C201. Since the device ships with Coreboot, the installation
diff --git a/docs/install/d510mo.md b/docs/install/d510mo.md
index 1f1bafd8..bf8700f3 100644
--- a/docs/install/d510mo.md
+++ b/docs/install/d510mo.md
@@ -1,6 +1,4 @@
-
-D510MO flashing tutorial 
-========================
+% D510MO flashing tutorial 
 
 This guide is for those who want libreboot on their Intel D510MO
 motherboard while they still have the original BIOS present.
diff --git a/docs/install/d945gclf.md b/docs/install/d945gclf.md
index 2cc4f7e3..4dabbd41 100644
--- a/docs/install/d945gclf.md
+++ b/docs/install/d945gclf.md
@@ -1,6 +1,4 @@
-
-Intel D945GCLF flashing tutorial 
-================================
+% Intel D945GCLF flashing tutorial 
 
 This guide is for those who want libreboot on their Intel D945GCLF
 motherboard while they still have the original BIOS present.
diff --git a/docs/install/ga-g41m-es2l.md b/docs/install/ga-g41m-es2l.md
index b61c6046..cd4c129c 100644
--- a/docs/install/ga-g41m-es2l.md
+++ b/docs/install/ga-g41m-es2l.md
@@ -1,6 +1,4 @@
-
-GA-G41M-ES2L flashing tutorial 
-==============================
+% GA-G41M-ES2L flashing tutorial 
 
 This guide is for those who want libreboot on their Intel GA-G41M-ES2L
 motherboard while they still have the original BIOS present.
diff --git a/docs/install/index.md b/docs/install/index.md
index 551ff9e5..cc1e2952 100644
--- a/docs/install/index.md
+++ b/docs/install/index.md
@@ -1,6 +1,4 @@
-
-Installing libreboot 
-====================
+% Installing libreboot 
 
 This section relates to installing libreboot on supported targets.
 
diff --git a/docs/install/kcma-d8.md b/docs/install/kcma-d8.md
index ff6e0597..161c824d 100644
--- a/docs/install/kcma-d8.md
+++ b/docs/install/kcma-d8.md
@@ -1,6 +1,4 @@
-
-KCMA-D8 external flashing instructions 
-======================================
+% KCMA-D8 external flashing instructions 
 
 Initial flashing instructions for kcma-d8.
 
diff --git a/docs/install/kgpe-d16.md b/docs/install/kgpe-d16.md
index 7f4478b5..fa28da9f 100644
--- a/docs/install/kgpe-d16.md
+++ b/docs/install/kgpe-d16.md
@@ -1,6 +1,4 @@
-
-KGPE-D16 external flashing instructions 
-=======================================
+% KGPE-D16 external flashing instructions 
 
 Initial flashing instructions for KGPE-D16.
 
diff --git a/docs/install/r400_external.md b/docs/install/r400_external.md
index 64f30ad7..c6581615 100644
--- a/docs/install/r400_external.md
+++ b/docs/install/r400_external.md
@@ -1,6 +1,4 @@
-
-Flashing the R400 with a BeagleBone Black 
-=========================================
+% Flashing the R400 with a BeagleBone Black 
 
 Initial flashing instructions for R400.
 
diff --git a/docs/install/rpi_setup.md b/docs/install/rpi_setup.md
index 45776a2d..764a472e 100644
--- a/docs/install/rpi_setup.md
+++ b/docs/install/rpi_setup.md
@@ -1,6 +1,4 @@
-
-How to program an SPI flash chip with the Raspberry Pi 
-======================================================
+% How to program an SPI flash chip with the Raspberry Pi 
 
 This document exists as a guide for reading from or writing to an SPI
 flash chip with the Raspberry Pi, using the
diff --git a/docs/install/t400_external.md b/docs/install/t400_external.md
index 14acf74e..ac20a2e5 100644
--- a/docs/install/t400_external.md
+++ b/docs/install/t400_external.md
@@ -1,6 +1,4 @@
-
-Flashing the T400 with a BeagleBone Black 
-=========================================
+% Flashing the T400 with a BeagleBone Black 
 
 Initial flashing instructions for T400.
 
diff --git a/docs/install/t500_external.md b/docs/install/t500_external.md
index 1a218708..a3176cc8 100644
--- a/docs/install/t500_external.md
+++ b/docs/install/t500_external.md
@@ -1,6 +1,4 @@
-
-Flashing the T500 with a BeagleBone Black 
-=========================================
+% Flashing the T500 with a BeagleBone Black 
 
 Initial flashing instructions for T500.
 
diff --git a/docs/install/t60_unbrick.md b/docs/install/t60_unbrick.md
index feccb75e..123e4d60 100644
--- a/docs/install/t60_unbrick.md
+++ b/docs/install/t60_unbrick.md
@@ -1,6 +1,4 @@
-
-ThinkPad T60: Recovery guide
-============================
+% ThinkPad T60: Recovery guide
 
 This section documents how to recover from a bad flash that prevents
 your ThinkPad T60 from booting.
diff --git a/docs/install/x200_external.md b/docs/install/x200_external.md
index 00f9ab59..adb0dae8 100644
--- a/docs/install/x200_external.md
+++ b/docs/install/x200_external.md
@@ -1,6 +1,4 @@
-
-Flashing the X200 with a BeagleBone Black 
-=========================================
+% Flashing the X200 with a BeagleBone Black 
 
 Initial flashing instructions for X200.
 
diff --git a/docs/install/x60_unbrick.md b/docs/install/x60_unbrick.md
index 97f9eaee..c0cd7777 100644
--- a/docs/install/x60_unbrick.md
+++ b/docs/install/x60_unbrick.md
@@ -1,6 +1,4 @@
-
-ThinkPad X60: Recovery guide
-============================
+% ThinkPad X60: Recovery guide
 
 This section documents how to recover from a bad flash that prevents
 your ThinkPad X60 from booting.
diff --git a/docs/install/x60tablet_unbrick.md b/docs/install/x60tablet_unbrick.md
index ae994053..134d2d0c 100644
--- a/docs/install/x60tablet_unbrick.md
+++ b/docs/install/x60tablet_unbrick.md
@@ -1,6 +1,4 @@
-
-ThinkPad X60 Tablet: Recovery guide
-===================================
+% ThinkPad X60 Tablet: Recovery guide
 
 This section documents how to recover from a bad flash that prevents
 your ThinkPad X60 Tablet from booting.
diff --git a/docs/misc/bbb_ehci.md b/docs/misc/bbb_ehci.md
index 85768e1d..3a48837f 100644
--- a/docs/misc/bbb_ehci.md
+++ b/docs/misc/bbb_ehci.md
@@ -1,6 +1,4 @@
-
-EHCI debugging on the BeagleBone Black 
-======================================
+% EHCI debugging on the BeagleBone Black 
 
 [Back to previous index](./)
 
diff --git a/docs/misc/index.md b/docs/misc/index.md
index 63e94e71..6f217d80 100644
--- a/docs/misc/index.md
+++ b/docs/misc/index.md
@@ -1,6 +1,4 @@
-
-Miscellaneous 
-=============
+% Miscellaneous 
 
 -   [High Pitched Whining Noise on Idle (how to remove in Debian or
     Devuan)](#debian_powertop)
diff --git a/docs/misc/patch.md b/docs/misc/patch.md
index ef121e5d..318c7428 100644
--- a/docs/misc/patch.md
+++ b/docs/misc/patch.md
@@ -1,6 +1,4 @@
-
-Diff and patch 
-==============
+% Diff and patch 
 
 This is just a quick guide for reference, use 'man' to know more.
 
diff --git a/docs/release.md b/docs/release.md
index 333af15f..48929b28 100644
--- a/docs/release.md
+++ b/docs/release.md
@@ -1,6 +1,4 @@
-
-Libreboot release information 
-=============================
+% Libreboot release information 
 
 Updated versions of libreboot can be found at
 [libreboot.org](http://libreboot.org/).