1 files changed, 5 insertions, 0 deletions
diff --git a/todo b/todo
index 3d0edbde..bdd32b14 100644
--- a/todo
+++ b/todo
@@ -734,3 +734,8 @@ List of things postponed from PG 3.4: need to be merged above
     This needs to be fixed up in count undos, find-and-forget.
 
 *** Generic versions of count undos and find-and-forget generic.
+
+*** Keybindings on menus: many missing in GNU Emacs.  
+    Also strange things happen with docstrings for macro-generated
+    functions.  (C-h C-c C-p gives message "can't find docstring for
+    proof-prf" at one point, then later finds it?!)