Rename Tabs with F2

In theory, browser tab titles should reflect their content, but that’s not always the case. Sometimes, you may want to rename them for better organization.