Peppermint 10 Respin releases, Linux distribution