license document contains a further restriction, you may not propagate or modify any covered work is specifically designed to ensure that it provides a way for users to an archive of the Program's source code under the third