Clarified status of GitHub repositories as mirrors.