diff --git a/README.md b/README.md
index 3c738f1..b8e62a1 100644
--- a/README.md
+++ b/README.md
@@ -214,6 +214,8 @@ Then in Emacs: `M-x flan-dev`, or `C-c C-z` to attach to the one you just starte
 - [`web/index.html`](web/index.html) — the language reference, including a table of
   everything that is *not* implemented and the exact words the compiler uses to
   refuse it
+- [`docs/`](docs/) — the reports and the history, with an index saying which of
+  them are still true
 
 ## Licence