I think it shows a certain disregard for others to just not give a $&$*@ about this sort of thing. It should have been fixed before they opened their repo. I suppose they will not mind at all if people go around dropping letters off THEIR names? Funny, I was actually looking into trying to fix this...