+[Update: I have fixed issue 6 manually for my Weblogs example and
+confirmed that it does make a huge difference to performance, although
+at considerable extra code complexity. Interested people can see the
+weblogs library, file import_weblogs_ancient.ml.in].
+