diff --git a/doc/manual/rl-next/debugger-on-trace.md b/doc/manual/rl-next/debugger-on-trace.md
new file mode 100644
index 000000000..d4e55d59c
--- /dev/null
+++ b/doc/manual/rl-next/debugger-on-trace.md
@@ -0,0 +1,9 @@
+---
+synopsis: Enter the `--debugger` when `builtins.trace` is called if `builtins-trace-debugger` is set
+prs: 9914
+---
+
+If the `builtins-trace-debugger` option is set and `--debugger` is given,
+`builtins.trace` calls will behave similarly to `builtins.break` and will enter
+the debug REPL. This is useful for determining where warnings are being emitted
+from.