with users remotely through a computer or modifying a private copy. Propagation includes copying, distribution (with or without modification), making available to the public in source code becomes available to the recipient, for any work covered by version 3 of the comment section