added todo for fixing buggy web pages

1 files changed, 2 insertions, 0 deletions

diff --git a/todo b/todo
index 92aaf02b..dbb4426b 100644
--- a/todo
+++ b/todo
@@ -288,6 +288,8 @@ D The proof-locked-span isn't set to read-only, because overlays don't
 * Release
 =========
 
+A validate/fix web pages.
+
 A remove CVS history in all files  (replace with idents $Id)
 
 A extend Copyright to 1998