I should have spotted this - plugin names CANNOT CHANGE. The name is part of the plugin's unique ID (this is a userscript thing), and changing it causes multiple instances of the plugin to end up being installed. reverted in b1223d20ae88855af47b4e9f98477707a4283a8d

(descriptsions can be updated safely)