Fix HTML5 export file naming
Fix HTML5 Bible export file naming