Drop the description line above the Resources document manager

Shipped

August 5, 2026 at 7:22 PM UTC

Author

kamo

Commit

6b333ea

It described a tab that now shows its own contents, so it was only taking space. descriptionKey goes optional rather than staying as an unrendered string: a tab with real content has nothing to describe, and leaving the key behind would have stranded a sentence in 22 locale files.