1 files changed, 3 insertions, 0 deletions
diff --git a/todo b/todo
index d3920a78..2fa415e9 100644
--- a/todo
+++ b/todo
@@ -673,6 +673,9 @@ X (Low)		e.g. probably not worth spending time on
 
 *** A Doc new bits:  settings mechanism via defpacustom 
 
+*** C Update front page image
+  - Should include ??? logo to represent other provers
+
 *** B Manual improvements before techreport publishing (see notes at end also):
   - Mention configuring function menus, outline.
   - Consider splitting up chapter 9?