Re: ediff bug (?) in 21.2