diff --git a/doc/CHANGELOG.md b/doc/CHANGELOG.md
index 6db6daed42..c2c5dc5a4d 100644
--- a/doc/CHANGELOG.md
+++ b/doc/CHANGELOG.md
@@ -21,6 +21,14 @@ Further documentation can be found in:
      `make -C $DAIKONDIR/java javadoc`
    It is also available at <http://plse.cs.washington.edu/daikon/download/api/> .
 
+## Version 5.9.1 (???, 2026)
+
+Fjalar/Kvasir:
+
+* New command-line option `--dyncomp-unhandled-ops=warn` makes DynComp
+  print a warning and continue, rather than stop, when it encounters a VEX IR
+  operation that it does not handle.
+
 ## Version 5.9.0 (September 1, 2026)
 
 * All Daikon tools now work with Java 8-26.
diff --git a/doc/daikon.texinfo b/doc/daikon.texinfo
index 2c7d2f72e6..0ed0639b23 100644
--- a/doc/daikon.texinfo
+++ b/doc/daikon.texinfo
@@ -4691,6 +4691,20 @@ y} or @code{x != y}). (@option{=comparisons})
 Finally, you may specify that no binary operations qualify as
 interactions between values.  Thus, DynComp only tracks dataflow. (@option{=none})
 
+@item --dyncomp-unhandled-ops=panic
+@item --dyncomp-unhandled-ops=warn
+
+By default, if DynComp encounters a Valgrind VEX IR operation that it
+does not handle, it prints the name of the operation and stops.
+(@option{=panic})  Please report such a failure (@pxref{Reporting problems}).
+
+Alternatively, DynComp can print a warning the first time it encounters
+each such operation and continue, approximating the operation:  the result
+of an operation with one operand is comparable to its operand, and the
+operands of an operation with more than one operand are made comparable to
+one another.  The resulting comparability sets may be larger than
+necessary, but are not smaller. (@option{=warn})
+
 @item --dyncomp-approximate-literals
 
 This option applies an approximation for handling literal values which