Thanking without pinging not thanking

[Tiefseetauchner]

Hey there! I just thanked someone and realised I turned ping reply off and it didn't thank

I feel like that's an oversight, and I looked at the code, imho it'd be fairly easy to implement additionaly to the current mention system, by adding it to the end. Also if I'm not mistaken, you don't check whether someone has already been thanked in a message?

For example, would @LukeChriswalker @LukeChriswalker @LukeChriswalker @LukeChriswalker @LukeChriswalker add five Karma?

Regardless, I wanted to first open this issue to gauge, whether there is interest to implement the non-pinging thanking, cuz I don't wanna implement something and then the maintainers don't like it lol

Just ping me if it's non-intentional, and I'll go and implement it 👍🏻

Best, Lena

P.S.: A screenshot of the thing would be nice, the first one will thank, the second one won't