Shoot, it's too bad this weird untranslated-string `name` field snuck under the radar for so long.  Given that it's not user visible and now needs to be unique across all plugins, we'd ideally call it `id` instead... but changing it now would break all existing providers.

We should add the new uniqueness requirement to `addQuickOpenPlugin()`'s docs, though.