When using gitbook, their plugins are stored on npm as gitbook-plugin-name-of-plugin and then when installing/interacting through the GitHub interface, it would simply be called "name-of-plugin".
Maybe we could do something similar in the plugins manager, where the "Name" column only shows "dict-commands" instead of "plover-dict-commands".
This change could be made to the description pane title as well.
When using gitbook, their plugins are stored on npm as gitbook-plugin-name-of-plugin and then when installing/interacting through the GitHub interface, it would simply be called "name-of-plugin".
Maybe we could do something similar in the plugins manager, where the "Name" column only shows "dict-commands" instead of "plover-dict-commands".
This change could be made to the description pane title as well.