Analysis: Is Google Chrome OS bad for Linux?