Added plugin was hidden

I can’t conceive of a setting that would prevent a new plugin from appearing on the menu, but that appears to have happened. Prior to that, a plugin had “gone missing” from the menu, but that was unnoticed by me until a new plugin failed to appear.