I don't think snide sarcastic comments are necessary. Consider that it reveals more about your personality than it adds to the conversation. A simple suggestion to Google it or even providing a link or two would be more considerate and helpful.