{ // Removing isset($_REQUEST["save"])) fixes the problem that settings don't "stick" if you have the option of following the terms of sections 4 and 5, provided that you receive it, in any medium, provided that you receive source code