Change name of pull file in html

Changed the name of the pull file in the html to make it more concise.