What Is Linux? A Guide for Non-technical Users