The dev is defending (his) copyleft, not patents. So let me stick to discussing the former, not the latter, in the following post: His opinion, as well as the

The dev is defending (his) copyleft, not patents. So let me stick to discussing the former, not the latter, in the following post: His opinion, as well as the current state of law: His code could and shall be used pretty freely, but a comment referring to the original license/author is needed. The context: Having an option to "leave out copyrighted code", that does not do what the option suggests, is a flaw, both in a functional and secondly with law-as-is, in a legal way.