Linux is mentioned because it is a common server OS and Linux knowledge is the most helpful for web dev. OSX do not add any extra value to this aspect of knowledge (despite I do use OSX as desktop OS).