Just found the comment, and unsurprisingly, I had already muted/blocked that account long ago.