A lot of people get confused when they come across the word linux. What is it