Due to bad shell scripting in ./processor/index.html.do and
./processor/feed.xml.do (see the FIXME notes there), source files whose names
contain "$" break the redo processing.
+
+Oh, and don't create a index.rst oder index.md in the redo-managed directory,
+that will also break things.