Does NOT retain the new name after a tab refresh (by pressing either F5 or Ctrl-F5). It also does NOT allow you to rename a tab again. It's a one time deal, or nothing. There is also no way to edit an already renamed tab, so, the only way to go back to the default tab name is to reset ALL tabs to their default name.
