Ustedes que usan Linux, ¿qué distribución recomiendan y por qué? Entre Debian, Linux Mint y Elementary OS. Además, ¿qué configuración de escritorio?