I did use the file extension thing recently to differentiate between HTML and Markdown files. Very handy.