+
+<p>Update 2014-10-17: The bug mentioned above is fixed in testing and
+the optimization work again. And I have discovered that the
+dpkg-divert trick is not really needed and implemented a slightly
+simpler approach as part of the debian-edu-install package. See
+tools/edu-eatmydata-install in the source package.</p>