Este é simplesmente um recurso da implementação do servidor Cisso ssh; ele analisa o nome do usuário e, se ele contiver um componente :[0-9]+
, ele entenderá que precisa conectar a sessão à porta do console com o número correspondente.
Note que não tem nada a ver com um número de porta alternativo, essas conexões acontecem na porta 22.