Peppermint 9, released June 22, accomplishes something most other Linux distros don’t: It melds the best components from other desktop environments and integrates them into a solid operating system.