To be consistent with our decision yesterday, let's make the default value True.