fixing bug in the 'on_deleted' method for plugins; see Issue #249
adding a test for workbench support of short md5s
slightly better for deleted plugin
fix bug in on_deleted
fix another bug in on_deleted
just formatting