Archive (for obsolete Github projects)

Backups of projects which were re-imported from Github, backups of projects that were used on Github, but are not used anymore, etc.pp.