adding text of GPLv3 for clarity