Yes, but I strongly suspect that the mascot is secondary to the name. They probably started with k8s, saw an opportunity to pun, added 1 to get k9, and that informed the logo.