web2c.texi, line 177 says that "anyone who gets a binary distribution
must also get the sources, as explained by the terms of the GPL".
This is clearly not the case as explained in
Thanks. Indeed, I failed to include "be able to" before "get". -k