Plenty of developers also use GitHub for software distribution for end users, so that’s where the problems lie. I’m not saying GitHub should change their UI to match something the site wasn’t made for, but it’s still an issue for people who choose to use it that way.