Exactly. Coming from law, sometimes like in this case, some topics can be left undecided, if it does not change the result. Even if the code could have been cop

Exactly. Coming from law, sometimes like in this case, some topics can be left undecided, if it does not change the result. Even if the code could have been copyrighted, it would still be considered fair use. Translated into developers speech: this is some sort of early return. ;)