Don't separate out HTML5 files, per @evancz