I keep watching it vanish, though, as other contextual menus overwrite it. Even the terminal "bar" has a contextual menu that will hide it.