Since you moved this, it no longer disappears when a more informative message is displayed. (I think most of the stuff we display here is overly verbose and not very useful, but that's another matter.)