minor
enhancement
The tab label is defined using a tab key. If this key is extended with the suffix .tooltip, the content should be rendered as a tooltip above the tab if such tooltip keys are defined in the translation table; otherwise, no tooltip should be rendered. This works exactly the same way as it already does for attribute labels.
Test
No test.