If I remember correctly, they complained when people replaced the BSD license with GPL, which was a license violation (you don't get to arbitrarily relicense th

If I remember correctly, they complained when people replaced the BSD license with GPL, which was a license violation (you don't get to arbitrarily relicense the code). That seems strictly worse than the code being used following the original license terms (a copy of the license in the manual, not publishing the source). Also, I thought that was resolved by putting the license back in the file, causing it to be licensed under the intersection of BSD and GPL.