FEATURE: allows to ignore a user forever (PR #10074)

GitHub

Awesome! I am going to merge this now. I’ll keep an eye on it in case anything goes wrong.