Given the lack of response to this report, and the inherent difficulty
in reproducing the issue, I'm closing this bug.

If I notice it again and find an effective reproducer, I'll re-open it.