changing filenames so that they will show up GitHub's repo this is in reference to GitHub PR #4780 #jira UE-60136 GitHub 4780 : Proposed HTML5 Changes #rb none #rn [CL 4214064 by Nick Shin in Dev-Mobile branch]