Uninstalling RhinoPolyhedra

unhandled

#1

I have this plugin disabled, but the commands still clutter up the autocomplete command lists. Is simply deleting the plugin file going to stop that?