[dunsudu]

I guess it just checks the new file in and removes the old one. Git doesn't track file moves, except a posteriori.