> Thanks for poking us on this! I like this patch's idea, but it being a new > behavior rather than a bugfix, I'd rather wait for Ian's agreement (and > inclusion in darcs-unstable) before I pull it into the stable branch. ping as per David's request :) Jani