Pike is gleeful at that knowledge and also sad he can't use it in game. Pike sort of hate nicknames because he gets them a lot so he assumes others do too (dear PIke:that is not how that works). He actually has no problem with being Christopher in most verses, he likes his name. Yeah, he figures Chopper is a Frankie thing and leaves it alone.