Plugins missing in Plugin Manager

Some plugins like the midi tools by Robin are missing in the plugin manager. They only show up via right clicking on the editor mixer -> plugins. Is this behavior normal?

It’s possible that you either have them hidden, or they are filtered out based on the buttons at the bottom of the dialog (I have to have the “utils” button highlighted to see Robin’s midi plugins).

Ahhh…that’s it… somehow I didn’t pay attention for that button.