Drop some project that shouldn’t be in git.