Barrapunto

Pues también, lo que pasa es que viene con Gnome y no sé si puede cambiarse eso. Guadalinex tiene buena pinta, pero en el miniportátil de mi hija no lo pude probar mucho, porque viene con el root inaccesible.
Mint incluye los mismos paquetes de Edubuntu, sólo que hay que instalarlos después.