From the "old college nicknames" department.