@C.Syde65 if you temporarily re-enable the extensions in question, you should be able to do this yourself via ManageWiki. Though I'm surprised that removing the extensions didn't automatically delete the associated user groups/rights.

CommentStreams conflicts with Moderation. So I can't reenable it. I don't understand why though because I can't see anything that would prevent those extensions from existing alongside one another. Maybe I should request that one of the two extensions is enabled, while the other is hard enabled. I never chose to disable CommentStreams. It just happened. So if I could get it hard enabled that would be good.

WikiForums currently shows up as being enabled. Though I haven't tried disabling it to see what happens.

If I remember correctly, I requested that HAWelcome be hard enabled in order to have it enabled at the same time as one of the conflicting extensions. I don't remember which extension though. Currently HAWelcome isn't listed on Special:ManageWiki/extensions, so I can't (re)enable it. I know I requested to have one extension be hard enabled, though I could be wrong about which extension it was. But I seem to remember it being HAWelcome.

Widgets was removed ages ago. So there's no chance of me reenabling it. Collection and ReplaceText were also removed, though they were removed much more recently than Widgets.

SRE please run the maintenance script for this. We've seen this in the past and the maintenance script did the job.

@Ugochimobi Sorry, what maintenance script are you talking about?

In T10755#217462, @OrangeStar wrote:

@Ugochimobi Sorry, what maintenance script are you talking about?

purgeExpiredUserrights.php, I think.

It was definitely possible back in 2020. Though the expired rights haven't been cleaned out since 2020. And unlike 2020, updating usergroups with Special:ManageWiki/permissions doesn't automatically clean up expired rights. I used to null edit usergroups to purge expired rights. But null editing usergroups is no longer possible. Much less is purging expired rights using this method.

purgeExpiredUserrights.php removes users who are in temporary groups, it does not remove user rights which are no longer registered with MediaWiki.

In T10755#217484, @Agent_Isai wrote:

purgeExpiredUserrights.php removes users who are in temporary groups, it does not remove user rights which are no longer registered with MediaWiki.

I think you're not entirely correct. From what I saw, It removes expired userrights from user_groups table and move them to former_user_groups.

Userrights cannot expire from a group, that's not coded into MediaWiki, only user groups can expire. The script is a misnomer and it means groups, not rights. Either way, I ran this script and it did nothing.