Hi Colin.

If I remember correctly, this plugin is installed separately, then you need to delete its files.
I also have the file " 88 SubdivTools.js" but renaming it doesn't work, only deleting or moving it.
I don't see it in your screenshot.