Simple directory rename

Which GIT apparently interprets as deleting thousands of files and
adding thousands more.