Offtopic question: anybody knows what kind of software they might have used to build their slides? Some of the animations are really neat.