Comment by cyphar

I am aware of that, and commented something similar in a sister thread. I was responding specifically to their claim that charging extra for source code is not in violation of the GPLv3, and that isn't true.

But yes, sole copyright holders can dual-license their code as proprietary or GPLv3, or just ignore the provisions of the GPLv3 for the same reasons you outlined. That being said, the binaries on the website are effectively under a proprietary license -- you or I are not free to redistribute them without first paying to get a copy of the source code.