diff --git a/Documentation/infrastructure/index.md b/Documentation/infrastructure/index.md
index 42bcbf65c8..a4520132c4 100644
--- a/Documentation/infrastructure/index.md
+++ b/Documentation/infrastructure/index.md
@@ -3,4 +3,4 @@
 This section contains documentation about coreboot infrastructure
 
 ## Jenkins builders and builds
-[Setting up Jenkins build machines](builders.md)
+* [Setting up Jenkins build machines](builders.md)
diff --git a/Documentation/mainboard/index.md b/Documentation/mainboard/index.md
index 33072711a7..a08cc43ba6 100644
--- a/Documentation/mainboard/index.md
+++ b/Documentation/mainboard/index.md
@@ -153,6 +153,7 @@ The boards in this section are not real mainboards, but emulators.
 
 ## Purism
 
+- [Librem 14](purism/librem_14.md)
 - [Librem Mini](purism/librem_mini.md)
 
 ## Protectli
diff --git a/Documentation/technotes/index.md b/Documentation/technotes/index.md
index a9320fb782..fda8bd6219 100644
--- a/Documentation/technotes/index.md
+++ b/Documentation/technotes/index.md
@@ -3,4 +3,5 @@
 * [Dealing with Untrusted Input in SMM](2017-02-dealing-with-untrusted-input-in-smm.md)
 * [Rebuilding coreboot image generation](2015-11-rebuilding-coreboot-image-generation.md)
 * [Unit testing coreboot](2020-03-unit-testing-coreboot.md)
+* [Unit Test Code Coverage](2021-05-code-coverage.md)
 * [Address Sanitizer](asan.md)