Jenkins 1.616, and no, the plugin was not already installed. I finally figured out which link on the page could be used to download the plugin, and used the Advanced tab to manually install the plugin.
-- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/658be192-60bd-4a23-b150-d923a36738c1%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
