It depends. Most of the time we just remove a single key, but in some degenerate cases (like the original issue) we end up removing a lot of keys at once. But it only happens a single time, so probably not worth optimizing beyond what's here now.