Using web-mode for editing plain HTML files