Io mi trovo anche bene con Peppermint

Carlo mi ha chiesto se conoscevamo delle distribuzioni Linux leggere per vecchi PC (> 10 anni di età)

Io ho usato in passato

http://www.lxle.net/

https://www.raspberrypi.org/downloads/raspberry-pi-desktop/

Dovrebbero essere anche utili:

https://crunchbangplusplus.org/

Avete altre distro da suggerire?

Giorgio