Hey, you all remember that video of a Spanish dude showing off all kinds of cool Windows customization features and not bothering to place any download links? I want to know what program he was using to animate his start menu to flip onto the screen