Performance problem when "OverType" and "Better Folding" extension are both enabled

[carlocardella]

I have stumbled upon a weird performance problem when this extension is enabled along with Better Folding, details here.

I can repro the problem only if:

1. Both OverType and Better Folding are enabled, and
2. I am working on a long document (I am not identified yet how long, I was working on a doc with ~400 lines when I noticed the behavior)

I thought the actual problem was with OverType, but if I disable Better Folding and keep OVerType then I can work just fine with much longer documents. Then moment I re-enalbe Better Folding the problem comes back.
Also, with both extensions enabled I can work just fine with smaller documents (50-100 lines), the lag becomes noticeable ardoun 250-300 lines.

So there is some kind of weird interaction between the two extensions, I assume both do some type of document parsing and with longer documents they stumble on some bottlened/inefficient regex or something along those lines.

I am not sure how to go forward from here but if you need me to run some more tests I'll be happy to help.