darcs replace $1 $2  $1.i3 $1.m3
darcs mv $1.i3 $2.i3
darcs mv $1.m3 $2.m3