Or at the very least, just don't comment at all.
Sorry, he’s trolled my threads in the past. I don’t see a problem with doing the same.