Text to go in the release notes:
This patch makes public plugins discoverable from within Koha itself via a search box at the top of the plugin management page.
One can search for plugins and install them directly from their source.
WARNING: Plugins are not yet verified by the community, use at your own risk. The feature is **disabled** by default; to enable it an administrator must uncomment, or add new lines to, the relevant configuration lines inside the `plugin_repos` config block within koha-conf.xml.