--- a/publish/processing.js	Mon Aug 06 16:46:50 2012 +0900
+++ b/publish/processing.js	Fri Aug 17 17:29:23 2012 +1000
@@ -407,6 +407,16 @@
     ul.appendChild(li);
   });
 
+  element.elements.forEach(function(name) {
+    var e = conf.definitions.elements[name];
+    if (!e) {
+      return utils.parse('<li><a href="data:," style="background: red; color: white">@@ unknown element "{{name}}"</a><li>', { name: name });
+    }
+    var li = utils.parse('<li>{{element}}</li>',
+                         { element: conf.definitions.formatElementLink(name, n) });
+    ul.appendChild(li);
+  });
+
   return [intro, ul];
 }