-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.
+Due to bad shell scripting in ./processor/index.html.do (see the FIXME notes
+there), source files whose names contain "$" break the redo processing.