Mostly for unloaded plugins. Right now you can't remove a plugin if it doesn't load, which is rather inconvenient.
Extra metadata in the plugin URL would also be nice for this, so it could still show the plugin name and a link to its source repo (probably).
Mostly for unloaded plugins. Right now you can't remove a plugin if it doesn't load, which is rather inconvenient.
Extra metadata in the plugin URL would also be nice for this, so it could still show the plugin name and a link to its source repo (probably).