--- a/editcommands.html	Fri Jul 08 14:15:56 2011 -0600
+++ b/editcommands.html	Fri Jul 08 15:03:48 2011 -0600
@@ -1999,6 +1999,11 @@
 
   <li>For each <var title="">node</var> in <var title="">node list</var>:
 
+  <p class=XXX>This is inefficient.  It would be most efficient to only push
+  down values on the highest-level effectively contained nodes, and to batch
+  operations so we handle runs of adjacent siblings at once.  Should we bother
+  fixing this?
+
   <ol>
     <li><a href=#push-down-values>Push down values</a> on <var title="">node</var>.
 

--- a/source.html	Fri Jul 08 14:15:56 2011 -0600
+++ b/source.html	Fri Jul 08 15:03:48 2011 -0600
@@ -1974,6 +1974,11 @@
 
   <li>For each <var>node</var> in <var>node list</var>:
 
+  <p class=XXX>This is inefficient.  It would be most efficient to only push
+  down values on the highest-level effectively contained nodes, and to batch
+  operations so we handle runs of adjacent siblings at once.  Should we bother
+  fixing this?
+
   <ol>
     <li><span>Push down values</span> on <var>node</var>.