¿Restablecer el Detector de Código No Formateado por usuario / para todos los usuarios?

So if a user checks “don’t show this again”, how do they get it back?
Also, is there a way for admins to reset that setting for all users?