@TheBreadmonkey @MikeFromLFE Well, technically Linux is just a kernel but for practical reasons it's usually called an operating system. Thought I'd better say that before somebody gets all pedantic about it.