* BUGS: new file (merger of unofficial BUGS1.0.x files)

	* Makefile.in (TAGS): Call etags w/o -t option
diff --git a/TODO b/TODO
index b7c3036..ab0ea26 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1,6 @@
+(-) write a script and add a "Make" rule (perhaps) that changes
+    #!/usr/local/bin/python to something else in all scripts around.
+
 (*) int*int overflow check shouldn't doubles on alpha (cf. John Tromp's mail)
 
 (*) add signal.alarm()