title: Rendering HTML5 animation server-side?
body: <p>We are creating animations using HTML5 + Javascript. Now, we'd like to convert these animations to video files (MPEG4, or other, doesn't matter) so that browserly challenged people could also see the animations. Animations contain an audio track.</p>
  
  <p>We are looking for solutions where HTML page would be rendered and recorded on the server side. I know there exist tools for rendering web page thumbnails etc. static images already. However, in our use case we should output a video file. </p>
  
  <p>What options are there? Is headless X server + Firefox a way to go? Preferably we'd be running this in a cloud (Amazon EC2). </p>
  
  <p>Also if there something special we'd need to think when playing animation in non-real-time speeds, I'd like to hear - e.g. syncing HTML5 audio with animation.</p>