20131224 tech.tech-news: Google wishes 'happy holidays' with a doodle