diff -r 3fef91236f70 -r 0fba53d52491 Cookbook/main.html
--- a/Cookbook/main.html	Tue Jun 11 10:40:44 2019 +0100
+++ b/Cookbook/main.html	Tue Jun 11 21:36:37 2019 +0100
@@ -75,15 +75,12 @@
 that is of nobody's help. Also proofreading and feedback would be most
 appreciated.
 
-<H3>People to contact</H3>
+<H3>Contact</H3>
 
-The project was (actively) managed by
+I am trying to stay on top of things, but no promises:
 
 <ul>
 <li> <A HREF="http://nms.kcl.ac.uk/christian.urban/" target="_top">Christian Urban</A> (christian.urban at kcl ac uk)
-<li> <A HREF="http://www.cl.cam.ac.uk/~lp15/" target="_top">Larry Paulson</A> (lp15 at cam ac uk)
-<li> <A HREF="http://nicta.com.au/people/norrishm" target="_top">Michael Norrish</A>
-     (Michael.Norrish at nicta com au)
 </ul>
 
 There is also the following mailing list that is subscribed by all developers