doc: More tweaks to the comments on copyleft section