To play devil’s advocate for a second - no-one is stealing anything, the code is still right where it was. If I willingly give someone a sandwich, did they steal it? Of course not.

There was a reason that PS chose FreeBSD, and it was because of the licence. If FreeBSD used the GPL then PS wouldn’t have used it, hence there never would have been a FreeBSD gaming OS either way.

Strong disagree. I ran non-ECC memory on my server and services would unexpectedly crash maybe once per week. Over the span of a year I had two databases get corrupted that cost me a lot of time to fix. I tried swapping sticks but it happened with all of them. I switched to ECC memory and the problems disappeared. I needed more memory anyway and the price delta for ECC was about $100. I didn’t have to swap CPUs or anything, AMD desktop CPUs and chipsets support it out of the box. ECC memory is absolutely worth it.