20131101 tech.tech-news: Google launches Android 4.4; made for budget devices