Add a note about why the repository name changed.