[stable26] enh: Add unique DOM identifiers for nav entries#2131
Merged
[stable26] enh: Add unique DOM identifiers for nav entries#2131
Commits
Commits on Nov 15, 2023
- authored andcommitted