The mature thing to do would be to ignore immature comments.