Remove some old stuff; stub out replay progress bar

index.html

@@ -228,8 +228,12 @@
                 edit manually?
             -->
             <div id="player-debug-input"></div>
-            <p id="player-debug-demo-progress"></p>
-            <div class="input"></div>
+            <p id="player-debug-demo-playback">
+                <progress max="0" value="0"></progress>
+                <output>100%</output>
+                of
+                <span>0 tics (0:00s)</span>
+            </p>
 
             <h3>Options</h3>
             <p>Viewport size: