diff --git a/README.md b/README.md
index 86dc898..986f770 100644
--- a/README.md
+++ b/README.md
@@ -12,6 +12,7 @@ a library or application, either by hand or via a ppx.
 - [x] messages
 - [x] counters
 - [ ] other metrics?
+- [x] ppx to help instrumentation
 
 ### Usage
 
@@ -74,6 +75,51 @@ Opening it in https://ui.perfetto.dev we get something like this:
 
 ![screenshot of perfetto UI](media/ui.png)
 
+## ppx_trace
+
+On OCaml >= 4.12, and with `ppxlib` installed, you can install `ppx_trace`.
+This is a preprocessor that will rewrite like so:
+
+```ocaml
+let%trace f x y z =
+  do_sth x;
+  do_sth y;
+  begin
+    let%trace () = "sub-span" in
+    do_sth z
+  end
+```
+
+This more or less corresponds to:
+
+```ocaml
+let f x y z =
+  let _trace_span = Trace_core.enter_span ~__FILE__ ~__LINE__ "Foo.f" in
+  try
+    do_sth x;
+    do_sth y;
+    begin
+      let _trace_span = Trace_core.enter_span ~__FILE__ ~__LINE__ "sub-span" in
+      try
+        let _res = do_sth z in
+        Trace_core.exit_span _trace_span;
+        _res
+      with e ->
+        Trace_core.exit_span _trace_span
+        raise e
+    end;
+    Trace_core.exit_span _trace_span
+  with e ->
+    Trace_core.exit_span _trace_span
+    raise e
+```
+
+### Dune configuration
+
+In your `library` or `executable` stanza, add: `(preprocess (pps ppx_trace))`.
+The dependency on `trace.core` is automatically added. You still need to
+configure a backend to actually do collection.
+
 ### Backends
 
 Concrete tracing or observability formats such as:
diff --git a/dune-project b/dune-project
index e3505c9..c2f4f4b 100644
--- a/dune-project
+++ b/dune-project
@@ -25,7 +25,7 @@
  (name ppx_trace)
  (synopsis "ppx-based instrumentation for trace")
  (depends
-   (ocaml (>= 4.08))
+   (ocaml (>= 4.12)) ; we use __FUNCTION__
    ppxlib
    (trace (= :version))
    (trace-tef (and (= :version) :with-test))