I think I won't see the pull requests on this repository, so it's better to send the patches to bugzilla.