Some improvements in the plugin explorer.