These files are orphans. They may or may not have been converted to HTML5, but originals are always in git.