The documentation for the community.general.jenkins_plugin module describes the “name” parameter as simply “Plugin name”.
The examples in the documentation show the values to be lowercase and hyphenated.
I’m assuming that simply writing the name of the plugin as a string (e.g.: "Role-based Authorization Strategy"), as seen in Jenkins Plugin Index, isn’t going to work. Where exactly can I get those valid names of the plugins as shown in the examples?