If you know how to dig further into git history, let me know. Here it might be further complicated by a recent splitting of then distributions.py, which does not help preserving git history.