@victorhck es curioso, porque la RAE después se pone pija en cada cosa que es para reírse.

Intro como abreviatura, por supuesto, de Introducir,

... pero siempre será un misterio por qué no hacemos como los ingleses y ponemos: entra, que sería lo correcto 😃