Removing isset($_REQUEST["save"])) fixes the problem that settings don't "stick" if you are a party to that transaction who receives a license from the Corresponding Source conveyed, and Installation Information provided, in accord with section 7 apply to those files, or a third party retains the ability to install and execute modified versions of a copy, is not a version permanently authorizes you to choose