"...if someone pays your fee and gets a copy [of the source], the GPL gives them the freedom to release it to the public" -- from GPL FAQ. Which means, any pay

"...if someone pays your fee and gets a copy [of the source], the GPL gives them the freedom to release it to the public" -- from GPL FAQ. Which means, any paying customer has the freedom to request the sources and then publish them. Did MySQL folks miss something?