Filling the blanks in the GPLv3 licence