diff --git a/nixos/doc/manual/release-notes/rl-2009.xml b/nixos/doc/manual/release-notes/rl-2009.xml
index 83bc2f82bbfc..a85f771c9844 100644
--- a/nixos/doc/manual/release-notes/rl-2009.xml
+++ b/nixos/doc/manual/release-notes/rl-2009.xml
@@ -971,6 +971,40 @@ services.transmission.settings.rpc-bind-address = "0.0.0.0";
the previous behaviour using undervolt.useTimer.
+
+
+ Agda has been heavily reworked.
+
+
+
+ agda.mkDerivation has been heavily changed and
+ is now located at agdaPackages.mkDerivation.
+
+
+
+
+ New top-level packages agda and
+ agda.withPackages have been added, the second
+ of which sets up agda with access to chosen libraries.
+
+
+
+
+ All agda libraries now live under
+ agdaPackages.
+
+
+
+
+ Many broken libraries have been removed.
+
+
+
+ See the new
+ documentation for more information.
+
+