Windows users could boot into safe mode and modify/delete the problem file. There just wasn’t any tool to roll out this fix ‘automatically’.

Once IT dealt with it I stopped paying attention to the situation, but I wonder if any tool was created to help the poor souls managing thousands of PCs?

Don’t forget about moderation. It’s all fun and games until someone starts posting hate speech, copyrighted material, porn (legal or otherwise) or worse…