Normally we do that, if we catch it before the thread has finished its main cycle. But in this case we didn't see it sooner. I'll add a note at the top of the other thread to point people to the blog post.