Thank you very much for your kind words, Randy, Elizabeth and Luis! :-*
Regarding the bugs/improvements, both are correct, although my preference is GitHub.com because it's easy to attach and merge a patch
Regarding the bugs/improvements, both are correct, although my preference is GitHub.com because it's easy to attach and merge a patch