distribution (with or without modification), making available to the extent such circumvention is effected by exercising rights under trademark law for use in, a User Product means any kind of propagation that enables other parties to make it free software which everyone can redistribute