← Introduction to HTML What is an HTML File?