Does anyone have objections to be creating a repo on Github called codeplex that I'll upload the Codeplex repo to? I'll then immediately archive it. Sometimes I find myself going back into history pre-Github. Also talking about archiving repos, I would like to archive the wix4 repo instead of deleting it when the time comes.