Plugin Questions: TopNav Dev Group Tracker

feature
2

Instead of using the plugin, you can use this customization:

https://meta.discourse.org/t/best-way-to-customize-top-menu/35336/3?u=falco

That way you can change the URLs and names involved easily.