diff --git a/docs/ci-probe-89.md b/docs/ci-probe-89.md
new file mode 100644
index 0000000..7dbf532
--- /dev/null
+++ b/docs/ci-probe-89.md
@@ -0,0 +1,3 @@
+# CI probe (#89)
+
+Throwaway file for the doc-only verify-full probe of PR #90 – never merged.