[onedognight]

> Anyone redistributing those versions is violating the GPL, through no fault of his own.

This is not correct and I would expect RMS to call him out on it. You can distribute binaries without the sources. You just have to make them available when someone asks for them in writing. It seem that this is the first time that someone has asked for them, and they are being provided.

[Someone]

I think this depends on why you call "ask for". I think going to gnu.org, clicking on a "download source code" link can easily be interpreted as "asking" for the source code (especially if a program or it's read me provide a URL near the place where it explains that one can get the source). If so, chances are that many people have asked for the source before, and got some (partly) intermediate product instead of the stuff the developers worked from.