I would prefer a). We could always to b) later if need be. If there are no objections, I will make this change.
+1: a) is ok.
J.Pietschmann
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
