I wrote:> Have not looked at the 0002 patch yet.
I looked at that one, and it seems to be a potential win with nodownside, so pushed. (I tweaked it slightly to avoid an unnecessaryconflict with the test patch I posted earlier.)
regards, tom lane