Make doctool page titles better for SEO (#12603)
I got this result in Google but it was pretty basic with just the tool
name.
<img width="674" height="154" alt="Screenshot 2025-11-25 at 1 44 03 PM"
src="https://github.com/user-attachments/assets/464c54aa-d944-4fab-b920-45917ffda862"
/>
