This is fine, but I think the default should be TRUE so that we retain the previous behavior. People who want the new behavior can set the property. What do you think?