--- a/Admin/website/README Fri Oct 21 09:08:42 2005 +0200
+++ b/Admin/website/README Fri Oct 21 09:18:27 2005 +0200
@@ -101,8 +101,9 @@
(4) project-specific remarks
============================
-* the site is not monolithic
-* it must fit neatlessly into the Isabelle distribution and regression framework
+The whole thing should fit neatlessly into the Isabelle distribution and
+regression framework; this may explain some "features" which seem to be
+enigmatic.
(5) the website build bed on sunbroy2