diff --git a/user_manual/changes/libadalang/1073.yaml b/user_manual/changes/libadalang/1073.yaml
deleted file mode 100644
index 1a6cc82e4..000000000
--- a/user_manual/changes/libadalang/1073.yaml
+++ /dev/null
@@ -1,8 +0,0 @@
-type: bugfix
-title: Fix `p_is_spark` configuration pragma handling
-description: |
-  This change fixes a bug in the `is_spark` property where configuration
-  pragmas were not handled correctly: a `SPARK_Mode` configuration pragma in a
-  package specification only applies to the package specification and does not
-  affect the body (and vice-versa).
-date: 2023-09-12
diff --git a/user_manual/changes/libadalang/1074.yaml b/user_manual/changes/libadalang/1074.yaml
deleted file mode 100644
index aa44a1a35..000000000
--- a/user_manual/changes/libadalang/1074.yaml
+++ /dev/null
@@ -1,9 +0,0 @@
-type: api-change
-short_title: Skip annotations in `p_is_spark`
-title: Allow to skip `Skip_Proof` annotations in `p_is_spark`
-description: |
-  The property `p_is_spark` can now take a boolean parameter
-  (`include_skip_proof_annotations`, defaults to `True`) to specify whether the
-  `GNATprove` `Skip_Proof` and `Skip_Flow_And_Proof` annotations should be
-  ignored to determine if a subprogram is in SPARK or not.
-date: 2023-09-12