mirrors

Local mirrors of various other people's projects.