I believe the bidirectional implication in iff is logical implication, not causal implication. If the GP is willing to entertain ... then you can conclude Mozilla will honestly spell what they're doing. Iff in general use does not introduce a causal relationship, just a bidirectional set of conclusions. In other words, iff sets up necessary and sufficient conditions.