It looks like this feature didn’t make it to development in 2022. At least, I don’t see it in the gamification plugin settings. Is there any way for people to individually be able to turn off participation in gamification? Alternately, is there a different way to exclude some users from gamification?