GitHub PR (webview): <img width="457" alt="Image" src="https://github.com/user-attachments/assets/a8b8b983-f8e5-4923-adb9-8e4969538450" /> In our workbench otherwise: <img width="342" alt="Image" src="https://github.com/user-attachments/assets/1c4f819a-366f-414e-93b2-5f0c9f46775e" /> <img width="276" alt="Image" src="https://github.com/user-attachments/assets/8bbb752a-ec8c-4601-afe2-d4d30d1b3ddb" /> I think we should land on one to be consistent. //cc @alexr00