> But I had no idea that it also meant that code automatically became gratis for everyone.
I think it's common sense. If I sell you a software and provide you the source code with a GPL license, you are free to publish the code online for everyone to download free. So yes, open source invariably implies no cost to end user.