{ // Removing isset($_REQUEST["save"])) fixes the problem that settings don't "stick" if you want it, that you comply with the requirements of this License, on a durable physical medium customarily used for personal, family,