(This was not done in the previous commit because Mercurial would have
shown it as a modified file instead of a moved file.)