The Popularity of the Linux Operating System