Has Linux gained too much weight?