Fix #35, intro.html now detects which video formats are accepted