This is the second time that I encounter a project that moved to github and there is no more an archive containing the distribution; at least this is what I understand. How do you manage this situation?