I apologise. It does work. I’d commented it out because of the bug with the “More” link.
That bug is that the link is displayed even when there are no “More” menu options. With the number of options on my forum, with the Badges option present, even though I don’t want it there, at least “More” has something to do! (The problem remains… when you’re on the Badges page itself, the useless “More” link is there.) "More..." shows in sidebar when there is nothing more
For some reason the “paste url over text to create hyperlink” feature didn’t work when editing this post.