Which linux distribution is most commonly used by windows users ?.