Control: tags -1 + unreproducible Adding the unreproducible tag here since we haven't been able to trigger this bug again recently, even in a configuration that previously triggered it 100% of the time.
We don't currently have an explanation for the bug or for the apparent change in behavior. noah
