Bugfix Release v4.12.2

- Tabs.Manager.cs no longer attempts to fetch the text of an already closed tab.
- Tabs.Manager.cs now properly assigns names to duplicate default tabs.