> 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