Curioso caso de nombres de código de distribución de Linux