No. They're distributing the binaries, so they have to provide the source code to users of the binaries on request. Publishing it like this satisfies that requirement.
I think you're mixing up the two options that GPL provides. My understanding is that you can either limit your distribution of source to the same parties to which you provide binaries (by "accompanying" the binary with the source), or you can require a request, but you must accept such requests from everyone.
