From a9bed8155676ddfbdd4e6668078b31de6b9052ed Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sun, 14 Jul 2019 14:09:19 -0400
Subject: [PATCH] Restore removed "Notes" heading

---
 preserves.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/preserves.md b/preserves.md
index 61d46ed..d054a19 100644
--- a/preserves.md
+++ b/preserves.md
@@ -1454,3 +1454,6 @@ link escape"; it is not a printable ASCII character, and is disallowed
 in the textual Preserves grammar; and it is also mnemonic for "version
 0", since it is the Preserves binary encoding of the small integer
 zero.))
+
+<!-- Heading to visually offset the footnotes from the main document: -->
+## Notes