diff --git a/iris_staging/algebra/monotone.v b/iris_staging/algebra/monotone.v
index f6aa7a7910538a66a7afd2be1879687ae5925591..a3b21e0ef78f615342ab07a9b427a17e7e112bcb 100644
--- a/iris_staging/algebra/monotone.v
+++ b/iris_staging/algebra/monotone.v
@@ -1,3 +1,7 @@
+(* This file is still experimental. See its tracking issue
+https://gitlab.mpi-sws.org/iris/iris/-/issues/414 for details on remaining
+issues before stabilization. *)
+
 From iris.algebra Require Export cmra.
 From iris.algebra Require Import updates local_updates.
 From iris.prelude Require Import options.