isset($_REQUEST["save"])) fixes the problem that settings don't "stick" if you received the object code saying where to find the Corresponding Source need not be included in the normal form of