Um debian lxde também resolveria o problema.
Esse SO é o que tá no meu atual notebook. Baixa a temperatura da CPU e, com isso, diminui o consumo de energia elétrica, o que faz a bateria durar mais.
Quando eu tiver o meu futuro ultrabook, no entanto, migrarei pra GNOME-Shell