Remove document name prefix from HTML <title> elements since modern tabbed browsers have limited space in the tabs.