Rated 5 out of 5 stars

Just does what it's supposed to do : rename a tab. F2 shortcut works like a charm. Great simple addon.