Plugin-Manager showing up empty

[invokr]

Some of the internal plugins see to incorrectly remove themselves from the core.ext extension, which leads to the Plugin-Manager showing up empty.
The "crash" occurs when invoking lut[plugin.name] in c9.ide.plugins/manager.js on line 396.

I added the following code to c9.ide.plugins/manager.js:

if (typeof(lut[plugin.name]) != "undefined") {
    package.items.push({
    ...
    });
} else {
    console.log("UNDEFINED PACKAGE NAME", plugin.name, lut);
}

Which produces the following result.

I can't reliably reproduce the error but I guess it has something to do with the following line being commented out: // plugins.splice(plugins.indexOf(plugin), 1); in c9.core/ext.js.