Is player-header needed in index.html? It doesn't seem to be used in video.js.