Simple program to edit HTML files