Broken preferences for notifications

It’s a bug in Discourse (our forum software). I recommend this workaround; it worked well for another user.