Comment by deyan

I was not aware. Thanks for letting me know - will look into it. I am wondering how GitHub got around that issue.