@michaelcahill: no, it's not -- can you please remove it, I don't want to race with your merge.