### Describe the bug This is not a helpful navigation menu: <img width="274" height="282" alt="Image" src="https://github.com/user-attachments/assets/11ac3a43-b3ae-4018-9ec2-e34262bc3126" /> The first two could be shortened to "TPC-H" and "TPC-DS". The others could be shortened too. ### Steps to reproduce _No response_ ### Expected behavior _No response_ ### Additional context _No response_
Describe the bug
This is not a helpful navigation menu:
The first two could be shortened to "TPC-H" and "TPC-DS". The others could be shortened too.
Steps to reproduce
No response
Expected behavior
No response
Additional context
No response