On Thu, Oct 15, 2009 at 08:55:16AM +0100, victor wrote: > that makes sense now, so someone jumped the gun. Some time ago I learned on this list the expression 'jumping the shark' - IIRC it was Paul Davis using it. But what is 'jumping the gun' ? Ciao, -- FA