Have you submitted it to the issue tracker on GitHub? I think that's where they do most of their coordination