Due to constraints on developer time, lack of an obvious root cause, and the difficulty of finding a reproducer, I am closing this for the time being, but keeping it on a to-do list. If we have time to investigate further, or we see this in more situations, we can reopen.