I'm feeling really stupid. I can't work out how to get Gmail to show me all my messages with "hippo" in the from address.