An HTML5 prequel to Notch's 0x10c