ediff-revision with docdiff