Is it worth chasing down one scripter to his demise?

It's like this.

Two games ago, I dealt with a confirmed scripter and though I did try, I lost. I swore vengeance and promised I would do everything in my power to take his acc down but the problem is filing a case, getting replay and documenting text is just so much of a hassle for one waste of life.

I'm still not happy but here's another thing: I'm multi Diamond and Diamond 1 level last season. Within a month or so, I will never see this person, a low Platinum player, ever again. Right after that shitshow, I won the next game and continued my climb casually so my rage subsided and only get angry thinking of it.