20151030 tech.tech-news: Google to merge Chrome OS into Android