Just for kicks, I measured some of mine. On the original spring, I get .180"; the replacement measures .175". Not the most accurate measurement though, so maybe they are really the same.
Shouldn't matter at all, though, as long as they are stiff enough to hold their shape. As I mentioned before, in both cases the clips are dead soft and bend relatively easily compared to the hardened spring leaves. I opened them up with just a big pry bar and closed them with a BFH.