Peppermint 8, la distro más ligera de todas, ya está disponible para todos