Mirror

Various mirrors of git repositories for archival purposes in case of takedowns.