Linux offers real diversity on the desktop