[deyan]

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

[fiatjaf]

When GitHub started they didn't have that. Now they do and every time a programmer writes a nice tool and posts it here the first comment is from someone telling him to change the project name.