I've been informed that "Jerry" is a plebbit name. What's the acceptable shorthand name? I'm not typing out his entire name.