On Thursday 11 August 2005 01:03, Ivo wrote: > I'm fairly satisfied with the script as it is now. I propose adding it to > TOOLS/. If nobody objects, I'll commit it monday and write a small notice > in the tech section of TOOLS/README. Comitted. --Ivo