> Yes, some options are now redundant. But they are needed for backward > compatibility. OK, I get the point. But... why did you add the new option in the middle of the list, then? Since everything is index-based, this wil lead to compatibility issues, won't it? Nicolas