Getting HTML5 going

[Colin Holgate]

I’m trying to get a stack going in HTML5, and there is a 404 error about a file named stdio.html. Is that a file I’m supposed to get from somewhere else?