Add mike alias name to version selector #6436
Description
Context
I searched through the documentationa nd previous issues and couldn't find anything, hopefully I didn't miss anything.
Description
Currently the version selector shows the identifiers for the documentation versions deployed with mike. If it's not difficult to implement, I would suggest adding a toggle to allow displaying the alias for a version in parentheses in the version selector. Example:
0.3 (dev)
0.2 (stable)
0.1
Related links
Use Cases
This would provide clarity when documentation for the development branch is available, so that the user understands why the default version served is not the highest version number.
Visuals
No response
Before submitting
- I have read and followed the change request guidelines.
- I have verified that my idea is a change request and not a bug report.
- I have ensured that, to the best of my knowledge, my idea will benefit the entire community.
- I have included relevant links to the documentation, related issues, and discussions to underline the need for my idea.