Give Moshe some work to do.
diff --git a/Doc/TODO b/Doc/TODO
index 267fc65..c96040b 100644
--- a/Doc/TODO
+++ b/Doc/TODO
@@ -31,6 +31,8 @@
 
 * Straighten out random/whrandom.
 
+* Update the filecmp documentation (Moshe?).
+
 
 NOT WORTH THE TROUBLE
 ---------------------