I posted about this in the daily 30 min after I got spammed by the bot but I did not get any useful replies:D
Next time I ping you on discord directly.

The comment search is the nice fallback.

!tip 1