Nor should those incomplete plugins have been included.
Added /list_players and /delete_player to the player manager. Updated all plugins to correctly use the new plugin manager, and updated the plugin_settings column to use a mutable json dictionary and storage to reflect that fact. It is now a property.