@Mike Thurston: Would you file a separate bug report, please? I'm not sure you're experiencing the same symptom as the original reporter.
@Mike Thurston: Would you file a separate bug report, please? I'm not sure you're experiencing the same symptom as the original reporter.