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? IMO, bugzilla it now. Possible refinement can occur later. -- Rex