Have you guys ever thought about to create a github clone? I guess it would be more accessible for people than the recent mailinglist, git and bugreport barrier since everybody could propose smaller pull requests / patches.
Since last December github mirrors are available:
Devs now can merge from forks made on github, ex.:
But don't expect pull requests.