I have downloaded the Gantry plugin and theme. On the first page of the site in the header is the Gantry Logo and to the right of it text with a heading What Is Gantry. Where does that text come from. I can find the Gantry Logo widget but cannot find that text. Any help would be appreciated.