Yes, I will add Co-author and Co-developed tags. I think I should use your ti email? I would have preferred to keep you as the author in the git commit but I could not get the patches applied cleanly back when I tried it.
Probably not required now, but
git commit --amend --author A U Thor author@example.com
allows you to change the author of a patch in git.
Andrew