On Thu, May 04, 2006 at 02:33:05PM +0100, Gautier, B (Bob) wrote: > > I'm posting this here to get feedback: should I file an enhancement > request in Bugzilla, refine the fix somehow first, or forget it > altogether? Enhancement in bugzilla please ! Jeremy.