I’m glad you decided to delete the post. It’s what you would’ve done if that person had made that comment to any other member of the group. Some people in the group may not express it, but they will appreciate your keeping things respectful.