diff --git a/Documentation/FAQImpl.md b/Documentation/FAQImpl.md
index 88234e7..9f9ad66 100644
--- a/Documentation/FAQImpl.md
+++ b/Documentation/FAQImpl.md
@@ -1,4 +1,4 @@
-# Does redo even run on Windows?
+# Does redo run on Windows?
 
 redo works fine in [Windows Services for Linux (WSL)](https://docs.microsoft.com/en-us/windows/wsl/initialize-distro)
 on Windows 10.  You might consider that to be "real" Windows, or not.  If
@@ -46,7 +46,13 @@ and then expect that, implicitly, redo will know it needs to look for
 The problem with this idea is...  where does it end?  If there's no
 `default.o.do`, so we look for a `default.do.do`, what if that doesn't exist
 either?  Perhaps there's a `default.do.do.do` for generating `default.do.do`
-files?  And so on.  You have to draw the line somewhere.
+files?  And so on.  You'd have to draw an arbitrary line somewhere.
+
+Anyway, unlike make, redo does *not* implicitly generate files.
+It only generates a given file if you redo-ifchange that file
+first, from one of your other .do scripts.  This gets avoids magical
+behaviour, but makes it quite tricky to auto-generate .do files.  See the
+next question for a workaround.
 
 
 # What can I do instead of auto-generating *.do files?
diff --git a/Documentation/index.md b/Documentation/index.md
index c43edb8..97c371a 100644
--- a/Documentation/index.md
+++ b/Documentation/index.md
@@ -172,6 +172,9 @@ easily be linked from this document.  Here are a few open source examples:
 * You can also find some limited examples in the
   [`t/111-example/`](t/111-example) subdir of the redo project itself.
 
+* A [github search for all.do](https://github.com/search?p=9&q=path%3A%2F+extension%3Ado+filename%3A%2Fall.do&type=Code)
+  shows an ever-growing number of projects using redo.
+
 If you switch your program's build process to use redo, please let us know and
 we can link to it here for some free publicity.