#986: Hide alerts after five seconds (via JavaScript).