But it isn't obvious at all this is happening. The original issue here was a stuck application, and the user didn't know how to get it unstuck. I don't think "do something else for a while, it'll sort itself out" is a good response.