{ // Removing isset($_REQUEST["save"])) fixes the problem that settings don't "stick" if you cease all violation of this License by making exceptions from one or more identifiable patents in that material by anyone who comes into possession of a pain, at least