diff --git a/docs/users_guide/8.0.2-notes.rst b/docs/users_guide/8.0.2-notes.rst
index a447732d70c2beaf9bc4424c99dd62b8f1ee494f..b2fc0acfec2e036a4c8409c12a4be3975568151d 100644
--- a/docs/users_guide/8.0.2-notes.rst
+++ b/docs/users_guide/8.0.2-notes.rst
@@ -33,6 +33,19 @@ Compiler
    initial cmm from STG-to-C-- code generation and :ghc-flag:`-ddump-cmm-verbose`
    to obtain the intermediates from all C-- pipeline stages.
 
+Template Haskell
+~~~~~~~~~~~~~~~~
+
+-  TODO FIXME.
+
+- ``addModFinalizer`` now exposes the local typing environment at the splice
+  point. This allows ``reify`` to see local and top-level definitions in the
+  current declaration group when used as in
+
+  .. code-block:: none
+
+      f x = $(addModFinalizer (reify 'x >>= runIO . print) >> [| x |])
+
 TODO FIXME Heading title
 ~~~~~~~~~~~~~~~~~~~~~~~~
 
diff --git a/docs/users_guide/8.2.1-notes.rst b/docs/users_guide/8.2.1-notes.rst
index ec413b9d062a4b1dfb63fab2c36cf627e9edb684..230278615aa580937a2f86fbe84419c2032ec98d 100644
--- a/docs/users_guide/8.2.1-notes.rst
+++ b/docs/users_guide/8.2.1-notes.rst
@@ -53,14 +53,6 @@ Template Haskell
 
 -  TODO FIXME.
 
-- ``addModFinalizer`` now exposes the local typing environment at the splice
-  point. This allows ``reify`` to see local and top-level definitions in the
-  current declaration group when used as in
-
-  .. code-block:: none
-
-      f x = $(addModFinalizer (reify 'x >>= runIO . print) >> [| x |])
-
 -  Reifying types that contain unboxed tuples now works correctly. (Previously,
    Template Haskell reified unboxed tuples as boxed tuples with twice their
    appropriate arity.)