On 28/11/14 19:43, Gervase Markham wrote: >> If by "dead tools" you mean tools/installs.cgi, I don't see why you >> removed it. It was working fine, and was restricted to LDAP users. Now I >> see it's gone. > > ...like this one :-) No problem, we can put it back. Fixed. Gerv