On Fri, Jul 11, 2008 at 09:57:28AM +0200, Bart de Boer wrote: > > Sorry for posting this here. I know it's a user problem. But it seems > nobody really knows what all the options do exactly. So here's my question: Then you are out of luck. The question is offtopic here. Diego