Should the GPL3 software you download and run also be yours?