Eliminate loading of some duplicate tabs on restart. https://redmine.stoutner.com...