“The challenge of adding a new identity to fit beside Buzz ... in Georgia Tech’s department of logos and botany, "said" in the release. The branding graphic showed Paul Lenny, the new mascot ...