I have created a new Tab labelizer plugin.
I was inspired by the Tab labelizer plugin from @tbone. It is very useful, but it hasn't been updated for a long time. Therefore I decided to create a new version. My version is much simpler. It only changes tab names without any extra options. This allows to have a very simple implementation which can be very easily customized and maintained.