dynconfig: remember which options still have their default value