Although we have migrateUserGroup.php to "rename" a user group, we have no maintenance script to just remove all users from a group/list of groups
Would be useful in remove extensions or doing other general cleanup before uninstalling an extension
Ping T188780