To anyone concerned: this forum software (discourse) has the function of muting or ignoring a user.
E.g. if you are tired of those 1000 variations of the “don’t show a vandalized tile (or only show it for mapping feedback)” song that I may have been performing here or elsewhere (yes, I’m tired of that song as well), you might want to visit my forum profile where you’ll find the option to mute or ignore my replies.
In some situations this function really helps regaining your sanity.
This screenshot shows what it would look like:
