A little something funny from the BBC for the geek in all of us… Merry Christmas