Comment 1 for bug 532107

This new system is confirmed defective (stuck F12 key). I have no clue whether this could cause the issue I saw, but I'm invalidating the bug anyways because it will be too difficult to determine the root cause with the defective keyboard.