> Another minor question is whether "-XDoRec" is a good
> name for the flag.  We can't really use "-XRecursiveDo"
> because that's the one we are deprecating!

"-XReDo"  :)

-Greg