Peppermint 10 Ubuntu-based Linux distribution available for download