Mint se apaga: así quedaron los usuarios y qué opciones existen ahora