Hello, I use lilypond to set my music, and I have a suggestion. Please consider adding a button next to the search bar in each manual that toggles whether the search includes results from the musical glossary. Most of the time I use the search bar, it's because I already know the name and definition of what I am trying to research. It would be very handy to hide all results from the music glossary.
I figure this is easier than linking all of the terms in the music glossary to their respective documentation. Best, Evan
