Fixes to correctly remember views that have been opened "manually" (typed in the url) and to forget views whose name was changed