OP wrote in another message that "her account got temporarily disabled within a short time of her posting that comment". Is that possible for non-Facebook employees to effect somehow? If not, then it was one of your colleagues, not a troll.