What is HTML

What is an HTML File?