Anyhow, I'm tempted to downgrade; not giving an error on an old, undocumented, deprecated option doesn't sound like "important" to me.
I won't complain. It's up to your judgement, not mine. I'm just trying to be helpful. :-)
Regards, Thiemo -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
