Hi, What is the procedure to follow when submitting changes? Some send a patch, but I also see the term "pull request" used a lot. Does it mean that I could have an account on GitHub, and then just announce the changes I make, so that they could be "pulled" by others ? yours, Lars Bro