This commit's sole purpose is to allow the next commits to move files
without losing their history and rename them like this commit's original
filenames.
Without this, git would rather delete the original files and modify the
content of the target file, losing the content's history in the process.
