Yay for the new, all-powerful quick note filter!

Well, it should make for very easy modal changes, for exercises and the like. Or you can select every occurrence of a slash voice. Probably I won’t use it often, but when I do, I expect it to save several keystrokes!