CC’ing Po Lu (is this the right way to notify someone on debbugs?) Attached is a screencast of the symptom.