I'm still feeling Kris IS short for Krismas because Rudy named him originally and the Dreemurrs are famously bad at naming things, and if they named Kris, his name would have ended up unironically being Ralsei.