There is also another thing to take into consideration before doing a Pull Request: it takes a lot of times (for everyone involved) to prepare/clean/document, then to follow/update…
So you have to take your time, even if just to avoid doing another PR a month after that with some more features.
Cheers, and thanks again !