20121031 tech.tech-news: Google doodles Happy Halloween