Re: ediff-diff-options problem