Category talk:Super Mario enemies

Members
This might be a dumb question, but how do we know that all of these enemies are a part of the Koopa Troop and aren't just creatures that happen to be hostile to Mario and co.?
 * Wow, this category's a mess. It's basically just "Category:Mario Enemies" with a misleading name. Niiue (talk) 02:46, 14 December 2015 (EST)
 * Bumping, but yeah, shouldn't we just rename this to "Mario Enemies"? 18:34, 19 January 2016 (EST)
 * Furthermore, we have Category:Wario Enemies, Category:Donkey Kong Enemies, and Category:Yoshi Enemies as well, but no Category:Mario Enemies as of this post. We should rename this to Category:Mario Enemies and move all the Mario subseries enemy categories (such as Mario & Luigi Series Enemies, Paper Mario Series Enemies, New Super Mario Bros. Series Enemies, Super Mario World Enemies etc. as subcategories of this). Meanwhile, we should rename the beginning sentence in Category:Enemies to "Enemies throughout the series provided per MarioWiki's coverage. 19:03, 19 January 2016 (EST)

Do something about this category
Assuming that literally every enemy that fights against Mario is a part of Bowser's legion is speculative as best and pure fancruft at worst. At it stands, this category is just bad, plain and simple. With that said, there are several options that can be taken here.

Option 1: Delete this category

It's certainly the most blunderbuss option, but it would get the job done. This option would result in the category being deleted and completely removed from all articles, without anything to replace it. Inelegant, to be sure.

Option 2: Move this category to 

As suggested above by Bazooka Mario, since we currently have Category:Yoshi Enemies, Category:Donkey Kong Enemies, and Category:Wario Enemies, but no obvious parallel for the Mario enemies. This option involves moving this category to "Category:Mario Enemies", and subsequently updating all links and inclusions. Note that this would still involve removing the category from a majority of articles: per MarioWiki:Categories, the game-specific enemy categories would become subcategories of this one, and per MarioWiki:Categories again, it would be unnecessary to include the broad category alongside the more specific categories.

Option 3: Trim this category massively

There are enemies that have been definitely shown to be a part of Bowser's army, and once upon a time, there was a similar category for Wart's army, the 8 bits, before it was unceremoniously deleted. This option would involve keeping the category as is, but removing every article whose subject isn't obviously a part of the Koopa Troop. It would also include both enemies and bosses.

Option 4: Do nothing

I'm including this for fairness. This option would involve nothing happening and nothing being updated, removed, or otherwise changed. I would consider this to be disadvantageous for the wiki.

These are all of the options that I would consider to be reasonable (though I'm all-ears for suggestions). I am personally vouching for option 2 (move the category), if only because the wiki already has Category:Mario Games and Category:Mario Games. Though there also isn't a category for Mario species, items, objects, allies, and locations, I believe that's mostly because nobody had pressed the issue beforehand.

Proposer: Deadline: July 30, 2017, 23:59 GMT

Option 2: Move this category to

 * 1) Per proposal.
 * 2) Per proposal.
 * 3) None of the other solutions seem to make sense.
 * 4) Vote of support