A Firefox add-on to rename a tab
https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/manifest.json/permissions https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/API/tabs/get https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/API/tabs https://addons.mozilla.org/en-US/firefox/addon/tab-mix-rename-tab/