With regards to the first run of the benchmark on my laptop, the figures show that http://bugs.darcs.net/patch1058 had reduced the cost of patch index maintenance: record with PI used to last 1635.95 s, amend took 329.87 s, and interestingly obliterate with PI lasted about the same.