I've seen cases where windows explorer will arbitrarily decide to stop updating an entire folder tree for no apparent reason, at which point being able to push

I've seen cases where windows explorer will arbitrarily decide to stop updating an entire folder tree for no apparent reason, at which point being able to push F5 suddenly becomes very handy. Of course, it doesn't help when I tell explorer to create a new folder which doesn't show up, thereby making it impossible to assign it a name until you refresh and then find the "New Folder" you just created.