That's some good news. Yep, I probably worried too much just b/c many people go by their full real names on GitHub and their email handles. Hmm, regarding copyright, won't it suffice to leave a public email address on your GitHub for a "proof of ownership"?
