But a lot of developers do do exactly that. They not only distribute binaries on their github, it is the only place where they distribute binaries. Github should probably recognize that it is a common use case and accommodate it better.

I'm also sure that a lot of people, like myself, took no notice of what specific package this user was complaining about, and are simply agreeing with the general sentiment that github could make things easier for non-technical users (which would, in turn, make it easier for developers since they would not need to field questions from users about how they download the software).